type applications