Haskell variables without type families