Add examples Reader.hs and State.hs