Joo ChurlSoo <xxxxxx@iniTerm.com> writes:

> Although MU* can be substituted for MU and NU, MU* is much slower than MU.

This is not true: it depends on the implementation.

Also the semantics is different: the result of MU evaluates arguments
each time it is unpacked. Are you sure this is what you intended?

--
   __("<         Marcin Kowalczyk
   \__/       xxxxxx@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/