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