0 | module Data.Linear 1 | 2 | import public Data.Linear.Notation as Data.Linear 3 | import public Data.Linear.Interface as Data.Linear 4 | import public Data.Linear.Copies as Data.Linear 5 |