Formal Type