Real Function subtypes