LaxF: Side Conditions and External Evidence as Monads