Added example folder and canonical example of conduit breacking the monad transformer laws.