+1 for generalization
-1 for removal
-1 for adding more monomorphic stuff to Prelude
-1 for doing nothing