Reworked the type classes post and wrote something about collections as type classes.