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