type A: Trait; type A; type A = B; type R<T> = m::R<T, ConcreteError>