readsKleisliIso, writesFunction1Iso, owritesFunction1Iso