Upcasting is unnecessary in the meta-domain since type checking occurs
at runtime; in the target domain, excepts for very specialized
situations, all type checks are preformed by the compiler.
Ravindranath wrote:
Is it allowed to call some thing like below in module's xs file.