module Data.Type.OrdinalSpec where