diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
new file mode 100644
index 0000000..4435abb
--- /dev/null
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -0,0 +1,12 @@
+**Description of the change**
+
+Clearly and concisely describe the purpose of the pull request. If this PR relates to an existing issue or change proposal, please link to it. Include any other background context that would help reviewers understand the motivation for this PR.
+
+---
+
+**Checklist:**
+
+- [ ] Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")
+- [ ] Linked any existing issues or proposals that this pull request should close
+- [ ] Updated or added relevant documentation
+- [ ] Added a test for the contribution (if applicable)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 55efa3d..f4f44e5 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -14,7 +14,7 @@ jobs:
 
       - uses: purescript-contrib/setup-purescript@main
         with:
-          purescript: "0.14.0-rc3"
+          purescript: "0.14.0-rc5"
 
       - uses: actions/setup-node@v1
         with:
diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
index 0000000..21845b3
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,66 @@
+# Changelog
+
+Notable changes to this project are documented in this file. The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/) and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [Unreleased]
+
+Breaking changes:
+
+New features:
+
+Bugfixes:
+
+Other improvements:
+
+## [v3.1.1](https://github.com/purescript/purescript-functors/releases/tag/v3.1.1) - 2018-11-30
+
+Reordered instance chain for `Inject` so that `inj :: f ~> f` succeeds
+
+## [v3.1.0](https://github.com/purescript/purescript-functors/releases/tag/v3.1.0) - 2018-10-13
+
+Added `FunctorWithIndex`, `FoldableWithIndex`, `TraversableWithIndex` instances (@MonoidMusician)
+
+## [v3.0.1](https://github.com/purescript/purescript-functors/releases/tag/v3.0.1) - 2018-06-28
+
+- Fixed broken `Eq` and `Eq1` instances for `Compose`
+
+## [v3.0.0](https://github.com/purescript/purescript-functors/releases/tag/v3.0.0) - 2018-05-23
+
+- Updated for PureScript 0.12
+- Added `Inject` class for injecting values into/projecting values out of nested `Coproduct`s
+
+## [v2.2.0](https://github.com/purescript/purescript-functors/releases/tag/v2.2.0) - 2017-07-07
+
+Add `Monoid App` instance.
+
+## [v2.1.0](https://github.com/purescript/purescript-functors/releases/tag/v2.1.0) - 2017-05-27
+
+Add `MonadZero App` instance.
+
+## [v2.0.0](https://github.com/purescript/purescript-functors/releases/tag/v2.0.0) - 2017-03-26
+
+- Updated for PureScript 0.11
+- Renamed the `/\` nexted product operator to `</\>`, since `/\` is also the nested tuple operator
+- Added corresponding type operator for nested `Product`
+- Added `<\/>` operators for nested `Coproduct`
+
+## [v1.1.0](https://github.com/purescript/purescript-functors/releases/tag/v1.1.0) - 2017-01-29
+
+- Added `Extend` and `Comonad` instances for `Coproduct` (@syaiful6)
+
+## [v1.0.0](https://github.com/purescript/purescript-functors/releases/tag/v1.0.0) - 2016-10-11
+
+New edition for the PureScript 0.10 compiler.
+
+## [v0.1.2](https://github.com/purescript/purescript-functors/releases/tag/v0.1.2) - 2016-05-02
+
+Fixes for pursuit.
+
+## [v0.1.1](https://github.com/purescript/purescript-functors/releases/tag/v0.1.1) - 2016-04-30
+
+- More instances (@zrho)
+
+## [v0.1.0](https://github.com/purescript/purescript-functors/releases/tag/v0.1.0) - 2015-08-19
+
+Initial versioned release
+