{-# LANGUAGE NamedFieldPuns #-}
module Main (main) where
f (C{M.a}) = a