Double Adjunctions and Free Monads