======	Errors after type inference/checking:
No default for  Main.TestClass at 23:1-23:12.(156,[(145,185)])
No default for  Main.TestClass at 20:1-20:50.(158,[(145,184)])