Renamed the second factory method on Monad to insert so can insert
nested TCs.