OptionalGetter

OptionalGetter is a type alias for POptionalGetter which fixes the type arguments and restricts the POptionalGetter to monomorphic updates.