A composition-safe monadic baptism