CLaSH.Promoted.Bool

type family If x y z :: k