Passes typechecker
Working