Parameter Utils.E

type a = T.a
val eq : a -> a -> bool