more bool-to-Type coercions inserted automatically