Module Generic_fun_equal

module Generic_fun_equal: sig .. end

module type Equal = sig .. end

module Sumprod: Equal 

module Conlist: Equal 

module Spine: Equal