Don't be afraid of type checking