Support for linearly-typed generics in Haskell - View it on GitHub