ScopeCheckMonad: use a two-constructor kind to track RW/RO
Language.Haskell.Modules.Generic
Resolvable Binds
Rename Generic to Open
Simplify!
Add some instances
rmapM
Instances Generation approach (saved for history)
Delete old files
Original gen.hs (instance generator)
gen.hs
Move auxiliary stuff to utils/
L.H.M.Open
Add NameContext
Minor changes
Pass Scope explicitly rather than using Reader
DSL for instances
Open.Derived: derive GTraversable
Update Open.Base to GTraversable
Update Open.Instances to GTraversable