Parenthesize function types.
We want identity over Bool, not over Bool → Bool.
Spit out a result.