Haskell-Based Alias Template Library