
<interactive>:40:1: error:
    • Couldn't match type ‘HFalse’ with ‘HTrue’
        arising from a use of ‘f’
    • In the first argument of ‘($)’, namely ‘f’
      In the expression: f $ Baz 'a'
      In an equation for ‘it’: it = f $ Baz 'a'

<interactive>:41:1: error:
    • Couldn't match type ‘HFalse’ with ‘HTrue’
        arising from a use of ‘f’
    • In the first argument of ‘($)’, namely ‘f’
      In the expression: f $ Quz
      In an equation for ‘it’: it = f $ Quz