Text this: An involution map for the functional monad