Distinct types derived from ordinal types are ordinal.
Distinct types derived from ordinal types are ordinal.

haiodo/Nim,jfhg/Nim,tulayang/Nim,tulayang/Nim,mbaulch/Nim,mbaulch/Nim,jfhg/Nim,tulayang/Nim,mbaulch/Nim,jfhg/Nim,haiodo/Nim,dom96/Nim,dom96/Nim,dom96/Nim,russpowers/Nim,singularperturbation/Nim,jfhg/Nim,dom96/Nim,haiodo/Nim,mbaulch/Nim,russpowers/Nim,tulayang/Nim,russpowers/Nim,russpowers/Nim,haiodo/Nim,haiodo/Nim,mbaulch/Nim,jfhg/Nim,tulayang/Nim,tulayang/Nim,singularperturbation/Nim,mbaulch/Nim,russpowers/Nim,russpowers/Nim,singularperturbation/Nim,singularperturbation/Nim,jfhg/Nim,haiodo/Nim,singularperturbation/Nim,mbaulch/Nim,jfhg/Nim,singularperturbation/Nim,haiodo/Nim,singularperturbation/Nim,russpowers/Nim,dom96/Nim,dom96/Nim,dom96/Nim