// out: TypeError: cannot call Bool
true();