MSFT C9 video on a monadic approach to location