type Meh = proc(a: A) A = object # compiles