blob: 76ca7a7cf61dacdff752a67ad0726bc4f2f6a98b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}
class C a where
type T (n :: a)
instance C a => C b => C (a, b) where
type T '(n, m) = (T n, T m)
-- but this worked fine:
--
-- instance (C a, C b) => C (a, b) where
-- type T '(n, m) = (T n, T m)
|