Data.Checked.Strict

data Checked p v

trustThat

trustMap

checked

class Property p v

maybeHolds

check

relax