Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail209.hs
1 module FancyContextsWithoutExtension1 where
2
3 type Showish = Show
4
5 f :: (Showish a) => a -> a
6 f = undefined
7