Implicit eqtype arguments not being inferred

[briangmilnes]

type listset' (e: eqtype) = list e let rec lsmem #e (e': e) (ls: listset' e) : Tot bool

match ls with | [] -> false | hd::tl -> if hd = e' then true else lsmem e' tl

and many others require me to type (#e: eqtype) when unification should easily get this.

P.S. Nik asked for this issue, most likely not a high priority.