In the documentation I can't find any examples of how I should implement interfaces like gen:monad and gen:applicative.
In particular the pure method in gen:applicative doesn't seem to be documented properly, since the generic-interface version (the one I have to implement) takes two arguments, but the provided and documented version (delayed-pure in the internals) takes one argument.
gen:applicative: generic method definition has an incorrect arity; expected a procedure that accepts 2 arguments
pure: #<procedure:my-type-pure>
In the documentation I can't find any examples of how I should implement interfaces like
gen:monad
andgen:applicative
.In particular the
pure
method ingen:applicative
doesn't seem to be documented properly, since the generic-interface version (the one I have to implement) takes two arguments, but the provided and documented version (delayed-pure
in the internals) takes one argument.