Handling the unit type. Giving up on Haskell near-term.