Data.Time.Calendar の Day型と返還可能な和暦の型、Warekiを定義しました。 Wareki は Ord インスタンスを実装してありますので、そのまま比較、ソートできます。 import Data.Time.Calendar (Day(..), fromGregorian, toGregorian, fromGregorianValid) im…