Module Generic_fun.Equal

module Equal: Generic_fun_equal

module type Equal = sig .. end
module Sumprod: Equal 
module Conlist: Equal 
module Spine: Equal