Data.Bool.HT
if'
ifThenElse
select
(?:)
implies