/monad/
../
wri.hs