Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / T5858.hs
1 {-# LANGUAGE FlexibleInstances, GADTs #-}
2 module T5858 where
3
4 class InferOverloaded a where
5 infer :: a -> String
6
7 -- instance (t1 ~ String, t2 ~ String) => InferOverloaded (t1,t2) where
8 instance (t1 ~ String) => InferOverloaded (t1,t1) where
9 infer = show . fst
10
11 foo = infer ([],[])