use pure instead of just as per haskell docs.
Merge branch 'feature/prove-maybe-is-an-applicative'