Up-cast before transformers, down-cast after transformers