Am 03/21/2014 11:32 AM, schrieb Tom Ellis: > I'll give you a concrete example along similar lines, except it uses arrows in place of monads. Thanks Tom, particularly for the elaborate example. Yes, this is what I was looking for.