Nice! But what about type checking?