io.mth.pirate
Data constructor for the empty set of positional parameters.
Data constructor for a single positional parameter.