Precisions on continuity and infinity, Arrows and Monads are now at the same level