Name: Anonymous 2008-04-17 17:19
I sometimes lose focus when reading SICP and probably miss alot of important things :( will drugs help?
error :: String → a; error "fuck you" :: aa is unifiable with (Functor f) ⇒ f (f a → a) → f a, and therefore loeb = error "fuck you" is a valid implementation.