f = \ (x :: Bool) -> not (id @Bool x); } in
f = \ (x :: Bool) -> not (id @Bool x)