data D = A Int Int | B String String
x :: D
で、x が B String String であることがわかっているときに、
f (case x of B s _ -> s)
というのをもっと簡便に書くにはどうしたらいいでしょう？