-- NB. the fmToList is in a random order,
-- because Ord Module is not a predictable
-- ordering. Hence we perform a final sort
-- NB. the fmToList is in a random order,
-- because Ord Module is not a predictable
-- ordering. Hence we perform a final sort