Three Types for the Lisp-kings under the parentheses,
Seven for the Web-lords in their halls of XHTML,
Nine for C Developers doomed to segfault,
One for the Dark Lord on his dark throne
In the Land of Haskell where the Monads lie.
One Type to rule them all, One Type to find them,
One Type to bring them all and in the Lambda >>= them
In the Land of Haskell where the Monads lie.