blob: 01a991fb44ae435d5cff695a1221e504fd202516 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE FlexibleInstances, GADTs #-}
module T5858 where
class InferOverloaded a where
infer :: a -> String
-- instance (t1 ~ String, t2 ~ String) => InferOverloaded (t1,t2) where
instance (t1 ~ String) => InferOverloaded (t1,t1) where
infer = show . fst
foo = infer ([],[])
|