И не так уж дико звучит определение модуля (и векторов, как элементов модуля). Вот концептуально (без популяризирующих деталей) - вектора, это абелевая группа, плюс какой-то моноид скаляров с действием на эту группу.
Вот вечно эти дедки так. То жалуются на эректильеую дисфункцию, то что хаскель не могут изучить. Пора принять что ваше дело - сторона. Сиди на солнышке, грейся.