Euclid.Extra.List.compact

You're seeing just the function compact, go back to Euclid.Extra.List module for more information.
This function is deprecated. Use `Euclid.List.compact/1` instead.