blob: aa37ac215d4b398fd2e90f1e1be3eca2760e48f9 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE TypeFamilies, MultiParamTypeClasses, FlexibleInstances #-}
module ShouldCompile where
class C7 a b where
data S7 b :: *
instance C7 Char (a, Bool) where
data S7 (a, Bool) = S7_1
|