list = listLike?

[tomjaguarpaw]

Wouldn't it be nicer to have list = listLike?

https://github.com/ollef/Earley/blob/master/Text/Earley/Derived.hs#L29

[ollef]

You're right, it probably would!

Can we think of any situations where this would lead to bad type inference?

[phadej]

@ollef no, it's about changing the definition of list, the type-signature would stay the same (i.e. specific). IIRC we left list especially for the case where some ListLike was produced, to avoid annotating the intermediate type in show . read like situations.

[ollef]

Ah, then I misunderstood. Making this change without changing the type signature is uncontroversial. :)