On: Programming languages, operating systems, despair ...

[eru]

Yes, it's easy.

(And a few bits of category do help when you are toying around with other typeclasses. Have a look at the typeclassopedia for an introduction.)