Started writing the universal type.