Main method actually has type checking now (oops)