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