Add a bit about a prelude::v1 module