{-# LANGUAGE NamedFieldPuns #-}
f (C{M.a}) = a