Functor BatList.Eq

module Eq: 
functor (T : BatOrd.Eq) -> Eq  with type t = T.t list