Wrestled the type checker into submission