realization has type