Additional conversion from TP and MonadTP to IO. Concert Buttons example and test that it still works. #17