[Haskell] Uniqueness types for Haskell?