+1 Generalize Prelude
-1 Remove from Prelude
-1 Add more monomorphic stuff
-1 Do nothing