module Data.Bool.HT (
   B.if',
   B.ifThenElse,
   B.select,
   (B.?:),
   B.implies,
   ) where

import qualified Data.Bool.HT.Private as B