currently can only do `() -> int`, need to refresh lepl knowledge to make this work, and then uncomment tests in parse_type_unit_tests.py