Pull out missing type insertion from my yi.hs