
<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 $ Baz 'a'
    In an equation for ‘it’: it = f $ Baz 'a'

<interactive>:40: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