function seq():int = let function _main(a : a) : a = 8 in _main end