testsuite/tests/typecheck/should_fail/T16394.hs


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)