f : Bool -> Bool
f x = true