First class constructor functions

[John Knottenbelt]

Are construction functions for types first class?

For example, if I have a type:

filterCond ::= fcInclude(number) | fcExclude(number).

Could I pass 'fcInclude' as a function as an argument?