"Public data types and public functions" in Haskell

Question

Is there an existing implementation of the semantics opendefined in the document Open data types and open functions ? As a GHC extension, as a Template Haskell, as part of some other Haskell compiler, as a preprocessor, etc. The document was published in 2006, and it claims to be simple.

I need data extensibility for several basic types in the project I'm working on. But I don’t want to raise every constructor of an open date by type and every open function in a class.

Answer 1

While this is a pretty heavy weight compared to open, the usual approach to these things is to introduce a mechanism along the a la carte line of paper: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101 .4131