Signature of IO in Haskell (is this class or data?)
The question is not what IO does, but how is it defined, its signature.
Specifically, is this data or class, is "a" its type parameter then? I
didn't find it anywhere. Also, I don't understand the syntactic meaning of
this:
f :: IO a
No comments:
Post a Comment