Re: Recursive/mutual imports

[Araq]

Well the `ref` indirection is required for mutual recursions otherwise the type 
would take up an infinite amount of memory...