Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type family Identity a where ... Source #
This is an ugly hack used to make GHC require type applications for certain functions. See this Twitter thread for a discussion: https://twitter.com/taylorfausak/status/1329084033003782148.