What would you call the type associated with a com...

# random

[damian]

What would you call the type associated with a companion type? E.g. if the companion for X is Y, the <insert term here> for Y is X.