In GHCi, bind identifiers at TH level 'impLevel'