blob: 4af903856fbf8214c3c5b47d89d43dc480694ffa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE ConstraintKinds #-}
unit p where
signature A where
import Prelude hiding ((==))
class K a
infix 4 ==
(==) :: K a => a -> a -> Bool
module M where
import Prelude hiding ((==))
import A
f a b c = a == b && b == c
unit q where
module A(K, (==)) where
type K = Eq
unit r where
dependency p[A=q:A]
|