Hask looks like a subcategory of the SET - category of all sets and single-argument functions between them. However, seems like it fails to preserve id
when it comes down to the undefined
: seq undefined ()
fails with exception as it suppose to, however seq (undefined . id) () = seq (id . undefined) () = ()
. Obviously, id
acts wrongly.
Is there a way to (theoretically at least) resolve this issue and make Hask a category indeed? Except throwing undefined
away?