From type/Parameter

See Original text in context

Returns nominal type constraint on the parameter (usually as an all-Junction).