Coming back to my original question, supposing we have two mutually 
recursive types, they must be in the same module and hence in the same 
file, right?

I would argue that it would be nice to have the possibility to define 
mutually recursive type in different files at least, if not in different 
modules. What do you think?

On Wednesday, January 4, 2017 at 9:49:43 AM UTC+1, Wouter In t Velt wrote:
> Somewhat late, but there is a nice exposition on this by Evan over here:

You received this message because you are subscribed to the Google Groups "Elm 
Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
For more options, visit

Reply via email to