blob: 045c3a610b96b042d2d0f8ecb1045bc2c25e1d72 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, ConstraintKinds #-}
module Foo where
type X a = (Eq a, Show a)
class Eq a => C a b
-- HEAD was unable to find the (Eq a) superclass
-- for a while in March/April 2015
instance X a => C a [b]
|