foo = (case x of y -> z; q -> w) :: Int