added monad reader issue gadt examples