blob: ae87b8ea19ef7a6e04562d36520a80b2ceacf931 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
True
type T :: * -> *
data T a = MkT {foo :: Bool, ...}
-- Defined at <interactive>:4:18
foo :: T a -> Bool
<interactive>:9:6: error: [GHC-83865]
• Couldn't match expected type ‘T a0’ with actual type ‘S’
• In the first argument of ‘foo’, namely ‘(MkS 42)’
In the expression: foo (MkS 42)
In an equation for ‘it’: it = foo (MkS 42)
True
foo :: T a -> Bool
foo :: U -> Int
42
|
