Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / T9109.hs
1 {-# LANGUAGE GADTs #-}
2
3 module T9109 where
4
5 data G a where
6 GBool :: G Bool
7
8 foo GBool = True