module Import>Math>Square Square[a]. //A module parameter - should be substituted when imported. Mult[left, right]. Square[a]: Mult[left: a, right: a]