Loosen type signature of mkShow-generated lambda expressions
Refactoring, TH tuple instances