Data.Checked.Strict
data Checked p v
trustThat
trustMap
checked
class Property p v
maybeHolds
check
relax