Explicitly import the Prelude, and add a few types signatures to make these modules produce better documentation.