On Sun, Feb 17, 2008 at 10:37 PM, Tom Davies <
tgdavies@gmail.com> wrote:
Are there generally accepted English language names for the arrow combinators?
>>> compose?
Well, compose usually means something with type (a c d -> a b c -> a b d), but (>>>) has the dual type (a b c -> a c d -> a b d). So it's really "cocompose", which, of course, can be shortened to "mpose".
-Brent