
type instance Core.EraRule "TICKN" (SophieMAEra _ma _c) = Sophie.TICKN

type instance Core.EraRule "UPEC" (SophieMAEra ma c) = Sophie.UPEC (SophieMAEra ma c)

-- These rules are defined anew in the SophieMA era(s)
