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