testsuite/tests/typecheck/should_fail/T20588.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15


{-# LANGUAGE TypeFamilies #-}

module T20588 where

import Data.Kind

class C (a :: Type) where
  {-# MINIMAL meth #-}
  meth :: a -> a
  meth = id

class D (a :: Type) where
  type family T a :: Type
  type instance T a = Int