correcto.
fijate que eso es lo que te dice ghci cuando chequeas el tipo.
*Main> :t \f -> (f True, f 'a')
<interactive>:1:18:
Couldn't match expected type ‘Bool’ with actual type ‘Char’
In the first argument of ‘f’, namely ‘'a'’
In the expression: f 'a'
In the expression: (f True, f 'a')
luis