Introduce Result of Manifest datatypes