Module type For_deriving.Equal_m