applicative -> & ->> arrows, per Issue #21