createPair :: (Monad m, AsTyPair ki ty) => Type ki ty a -> Type ki ty a -> m (Type ki ty a)
createPair ty1 ty2 =
  return . review _TyPair $ (ty1, ty2)
createPair :: (Monad m, AsTyPair ki ty) => Type ki ty a -> Type ki ty a -> m (Type ki ty a)
createPair ty1 ty2 =
  return . review _TyPair $ (ty1, ty2)
createPair ty1 ty2 =
  return . review _TyPair $ (ty1, ty2)