- Basic usage
- Common mistakes
- Moving signatures to the top level
InstanceSigs GHC documentation for
InstanceSigs GHC extension first appeared in GHC version 7.6.1. This extension enables explicit type signatures as part of typeclass
This extension is safe, and it is helpful for learning and writing code incrementally. The explicit type annotations it allows may also be useful, as explicit type annotations generally are, as documentation and for readers.