dirty-haskell.org: Category Theory

It's not crazy — it's having fun with types.