0 | -- This module is for nice name, but it can be removed by compiler, e.g. due to a conflict with `contrib` 1 | module Data.List.Extra 2 | 3 | import public Data.List.Ex as Data.List.Extra 4 |