typo in monadtrans intro