Add case for function application to a type class dictionary

Resolves #536.

Basically, this case should hardly ever get hit, but it is reasonable that we have to check an application of a value to a typeclass dictionary, so here it is.