> On 21/11/2014, at 2:18, Marco Servetto <marco.servetto at gmail.com> wrote: > > So you like to write lazy in mutually recursive type definitions? No, but we could use the semantics...