import public Data.Linear.Notation as Data.Linearimport public Data.Linear.Interface as Data.Linearimport public Data.Linear.Copies as Data.Linear