A Type Transformer