document pair of types for each interface