Data.Checked

data Checked p v

trustMe

trustThat

trustMap

checked

class Property p v

maybeHolds

check