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.Vect.Extra 2 | 3 | import public Data.Vect.Ex as Data.Vect.Extra 4 |