Use clearer type variable
Specialise Default context for better resolution
Comment out unneeded type signatures