IntList = Class NoneType or { .node = Int; .next = IntList }
IntList.
null = IntList None
insert self, node = IntList { .node; .next = self }
fst self =
match self::base:
{ node; next = _ } => node
None => None
l = IntList.null.insert 1
assert l.fst() == 1