TODO superType if necessary someday