io ::= nms{ #include "std/io.toc"; }; ll ::= fn() Type { struct { head : int; tail : &ll(); } }; main ::= fn() { l : ll(); };