Data.Bool.HT

if'

ifThenElse

select

(?:)

implies