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