f3 x = case x of {
_ -> 12
}