summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail173.hs
blob: bad14bd5395e3274fd297e49673d9c0bf97b7d1d (plain)
1
2
3
4
5


module ShouldFail where

newtype (f <.> g) a = Compose (f (g a))