T14449.hs:6:1: error:
    Couldn't match ‘a’ with ‘b’
      both bound by the partial type signature: f :: a -> b -> _