{-# LANGUAGE RecordWildCards #-} -- | Compatibility with the -- package for the -- \"new\"