Haskell singletons [WIP]