redPrim env UniArray a es                   = EAp (EVar (Prim UniArray a)) es
redPrim env UniArray a es                   = EAp (EVar (Prim UniArray a)) es
redPrim env UniArray a es                   = EAp (EVar (Prim UniArray a)) es