AF
Size: a a a
AF
[
[
[
[
ЗП
h3
• No instance for (TEval (TProject '[Int, Double]) p0)?
arising from a use of ‘proxyEval’
• In the expression: proxyEval (Proxy :: _ (Length1 V))
In an equation for ‘h3’: h3 = proxyEval (Proxy :: _ (Length1 V))
h2
все окЗП
data LengthAlg1 :: forall a. TListF a Nat -> TypeExpr Nat
• Illegal instance declaration for ‘TEval (Length1 t) r’
The liberal coverage condition fails in class ‘TEval’
for functional dependency: ‘expr -> result’
Reason: lhs type ‘Length1 t’ does not determine rhs type ‘r’
Un-determined variable: r
• In the instance declaration for ‘TEval (Length1 t) r’
AP
MK
AP
AP
AP
AP
OS
MK
MK
MK