class OverloadedType