class Success { static function main() {} } class MyMap { var values: Array; public function iterator(): Iterator return values.iterator(); } abstract AbstractMap(MyMap) from MyMap to Iterable {}