testsuite/tests/polykinds/T7238.hs


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

{-# LANGUAGE ConstraintKinds, TypeFamilies #-}
module T7238 where

import GHC.Exts

class Pair p where
	type Ctxt p a :: Constraint
	l :: Ctxt p a => p a -> a

data Unit a = Unit

instance Pair Unit where
	type Ctxt Unit a = a ~ ()
	l _ = ()