General configs...
For some reason distinctG is still strict, I think it is due to Bind OptionalT. Needs work
Most of the Extend.hs file was already complete. Odd...