Alex,
AJ> Ok, I am still trying to understand kind errors and now have
AJ> a very simple class and types:
Okay, let's have a look.
You declare
> class MyClass a b
> where emptyVal :: a b
In the type signature for emptyVal the type variable a is applied to b. So,
we infer
a :: k -> l
Marco Righele wrote:
Hello everyone,
I have some operations that have to be done in sequence, with
each one having the result of the previous as input.
They can fail, so they have signature
a -> Maybe b
Checking for error can be quite tedious so I use monadic operations:
f :: a -> Maybe b
do