Fix #376 and make types more easily understandable by pushing foralls before constraints in type class members.