public class Prod0 extends Val
Base class for values constructed with 0-ary constructors that are no enumerations, i.e.
data X phantom = X
This will be extended by constructors of product types.
Subclasses can overwrite the FV.constructor()
method.
Note that Prod1 is not a subclass of Prod0!