On 2011-02-17 15:32, Permjacov Evgeniy wrote: > 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? See the README: http://www.cse.chalmers.se/~nad/listings/lib/README.html -- /NAD