redFat a e e'                               = EAp (EVar (Prim Fatbar a)) [e,e']
redFat a e e'                               = EAp (EVar (Prim Fatbar a)) [e,e']
redFat a e e'                               = EAp (EVar (Prim Fatbar a)) [e,e']