cosmetic: BTCE monadic simplifications