Type equation