fleshing out monadic ai by example