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