Programmers tend to like to re-imagine koans and Buddhist stories; so here's a classic question re-envisioned.
Prelude> Does the dog have the Haskell nature?
Couldn't match expected type `Human' against inferred type `Dog'.
In the first argument of `Haskell nature?', namely `dog'
In the expression "Does the dog have the Haskell nature?"