teContextToContext :: Int -> TEContext a -> Context a
teContextToContext startInt ctxt = Prelude.map mapper ctxt
  where mapper (x,t) = (x, instantiateTypeVar startInt t)
teContextToContext :: Int -> TEContext a -> Context a
teContextToContext startInt ctxt = Prelude.map mapper ctxt
  where mapper (x,t) = (x, instantiateTypeVar startInt t)
teContextToContext startInt ctxt = Prelude.map mapper ctxt
  where mapper (x,t) = (x, instantiateTypeVar startInt t)