It seems like the type checker is working as inten...