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