…ot a data type!
Noticed that I had to extend the context for (==) because I used `not`, seems a bit bad...
Moved Eq to Generic.Data.Eq module
The cabal file now works! FTW!
…the true body. This function is now only applied at the end (when printing) so we can still alpha-rename these variables.