-- repeated exports of a type/class accumulate. module Mod128_A(T,T(Con)) where data T = Con