Hey all, I'd like to kick off the "Please Break Yesod" campaign[1] by drawing everyone's attention to Matt Brown's commit which converts the Route associated type from a type family to a data family. tl;dr: it avoids "not injective" compiler errors, and is overall good, fuzzy and made of unicorns. I'm even told that applying it may help regrow my hair. Anyway, if people would mind pulling his code and making sure it compiles, I'd appreciate it. The last time I tried to make that transition I stumbled upon a bug in GHC 6.12.1. I don't remember what the bug was, and I don't remember what the code was, so this is mostly just me acting paranoid for no good reason. Michael [1] http://docs.yesodweb.com/blog/please-break-yesod/ [2] https://github.com/softmechanics/yesod/commit/f3afdfeea2b2cac40051ce1ad795e7...