Converting View.Logic to monads