defined class posingAs
resolve: [A,B](A @posingAs[B])B
x: Any = 7