Make sure there's a better error for Rec (a,b,)

[neongreen]

Currently the error will probably be bad. We can add an instance for (x -> y) with a TypeError => that will warn about the trailing comma issue.