An issue was opened on containers back in 2020 to add a monomorphic Data.Sequence.toList function: https://github.com/haskell/containers/issues/744. It was suggested to ask via the libraries list, and the previous reporter preferred to close the issue instead of continuing the process. I'm opening it back up: https://github.com/haskell/containers/issues/1184. Same motivation as the original issue; specifically, I always workaround this with import Data.Foldable qualified as Seq (toList) import Data.Sequence (Seq) import Data.Sequence qualified as Seq It's odd that Data.Sequence doesn't provide toList when Map and Set do. Are there any objections to this? Best, Brandon Chinn