Mention Function1
Mention Function1

Thanks to @non in #143 for the suggestion.

melrief/typelevel.github.com,melrief/typelevel.github.com,typelevel/typelevel.github.com,melrief/typelevel.github.com,typelevel/typelevel.github.com,melrief/typelevel.github.com,typelevel/typelevel.github.com