blob: f3dcdbc13d2deed67b93981ddd23989db86b02f5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
T4272.hs:15:26:
Could not deduce (a ~ TermFamily a a)
from the context (TermLike a)
bound by the type signature for
laws :: TermLike a => TermFamily a a -> b
at T4272.hs:14:9-53
‛a’ is a rigid type variable bound by
the type signature for laws :: TermLike a => TermFamily a a -> b
at T4272.hs:14:16
Expected type: TermFamily a (TermFamily a a)
Actual type: TermFamily a a
Relevant bindings include
laws :: TermFamily a a -> b (bound at T4272.hs:15:1)
t :: TermFamily a a (bound at T4272.hs:15:6)
In the first argument of ‛terms’, namely
‛(undefined :: TermFamily a a)’
In the second argument of ‛prune’, namely
‛(terms (undefined :: TermFamily a a))’
In the expression: prune t (terms (undefined :: TermFamily a a))
|