Removed unnecessary RankNTypes pragma
Updated documentation