Setoid record in standart library contains type (i.e. Carrier) of setoid as record field. An alternative is to make carrier a type parametr of setoid. Why the first approach is chosen?