module test
class C m :: u:m -> v:m