Add haskell stuff
WIP for unary vs binary problem