Type Inference For Generic Haskell

Stc