TypeLevel.Bool
ifThenElse
type family
IfThenElse
(c ::
Bool
) (true :: k) (false :: k) :: k
where ...