mapping for GhcMod new feature of inserting type signatures