@ocharles I'm also tempted to change Rel8.Expr.Function.function to just (Table Expr input, Sql DBType output) => input -> Expr output instead of the weird variadic argument stuff we have currently. Then you could just supply multiple arguments with a tuple. I think that's better for type inference. What do you think?

This would fix #71.