Data.Type.Bool

type family If cond tru fls

type family a && b

type family a || b

type family Not a