Double adjunctions and free monads