Of Tactics and Monads - Martin, A (1996)