
<interactive>:38:1:
    Couldn't match type ‛HFalse’ with ‛HTrue’
    Expected type: HTrue
      Actual type: Or HFalse HFalse
    In the expression: f
    In the expression: f $ Baz 'a'
    In an equation for ‛it’: it = f $ Baz 'a'

<interactive>:39:1:
    Couldn't match type ‛HFalse’ with ‛HTrue’
    Expected type: HTrue
      Actual type: Or HFalse HFalse
    In the expression: f
    In the expression: f $ Quz
    In an equation for ‛it’: it = f $ Quz