SMS: Of Tactics and Monads