All properties that exist in the world are functional properties in the sense of causal properties. The authors base a conservative ontological reductionism on this claim and develop functional reduction into a fully-fledged theory reduction through functional sub-types that are coextensive with physical types, providing case studies from biology.