Control.Precondition

fromJust'

fromRight'

fromLeft'

nonEmpty'

(!)

byPred

byEq

byOrd

byRel

byRel'

type Pre

assertFalse'

undefined'

assertFalseMessage

provided

provided'

providedMessage'

providedM

locMsg

withLoc

data Loc