Data.Type.Bool
type family
If
cond tru fls
type family
a
&&
b
type family
a
||
b
type family
Not
a