Hide constructors of ghc-internal types, expose views instead
As a starting point, let's try making a view of Type. Views can correspond to the underlying datatypes but with record fields, and we should convert in one go.
Edited by Adam Gundry
As a starting point, let's try making a view of Type. Views can correspond to the underlying datatypes but with record fields, and we should convert in one go.