{-# LANGUAGE BangPatterns #-} foo = case v of !(Just x) -> x