blob: fbc0cc6ed57f81d0cb7e3198c2b60aece53fbaa8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T16456.hs:7:7: error:
• Found hole: _ :: T Int
• In the expression: _
In an equation for ‘foo’: foo = _
• Relevant bindings include foo :: T Int (bound at T16456.hs:7:1)
Valid hole fits include
foo :: T Int (bound at T16456.hs:7:1)
MkT :: forall {k} (p :: k). T p
with MkT @Int
(defined at T16456.hs:4:12)
|