-- | Abstract a term over a list of type variables
mkLams :: Term
       -> [Id]
       -> Term
mkLams tm = mkAbstraction tm . map Left
mkLams :: Term
       -> [Id]
       -> Term
mkLams tm = mkAbstraction tm . map Left
mkLams tm = mkAbstraction tm . map Left