AuthMethods + Template Haskell experiment

[infomiho]

I was thinking how can we make adding a new auth method a more type safe process. Since we are kinda loosely defining them by adding a new key in the AuthMethods record, we don't really have a union data type over which we can force exhaustive pattern matches.

I've played a bit with Template Haskell to try to change that.