use GhcModTypeInsert