empty -package:vector package:syb

Construct the empty value for a datatype. For algebraic datatypes, the leftmost constructor is chosen.