Expand description

Functionality for generating trivial contructors

Functions

given a type return the trivial contructor (if one exists)