blob: 5ea7722bc637522b9ba7434fdb87af7faf9e82e2 (
plain)
1
2
3
4
5
6
7
8
9
10
|
The command has indeed failed with message:
Cannot infer this placeholder of type "Type" in
environment:
Functor : (Type -> Type) -> Type
F : Type -> Type
fmap : forall A B : Type, (A -> B) -> F A -> F B
The command has indeed failed with message:
Cannot infer an existential variable of type "nat" in
environment:
R : nat -> Type
|
