Added implementation of implicit arbitrary monadic reduction