redPrim env p a es                          = eAp (EVar (Prim p a)) es
redPrim env p a es                          = eAp (EVar (Prim p a)) es
redPrim env p a es                          = eAp (EVar (Prim p a)) es