Explicit​For​All

• Atypical data constructors
• Explicit forall
• Rigid type variables