Failed to compile

[leomayleomay]

I've got following compiling error

/Users/hao/Sandbox/form-as-api/src/Feature/Auth/JWT.hs:19:5: error:
    • Could not deduce (Control.Monad.Fail.MonadFail
                          (Either TokenError))
        arising from a do statement
        with the failable pattern ‘Jws (_, claimsRaw)’
      from the context: JWT r m
        bound by the type signature for:
                   resolveToken :: forall r (m :: * -> *).
                                   JWT r m =>
                                   Token -> m (Either TokenError CurrentUser)
        at src/Feature/Auth/JWT.hs:13:1-71
    • In a stmt of a 'do' block:
        Jws (_, claimsRaw) <- first (TokenErrorMalformed . show) eitherJwt
      In the second argument of ‘($)’, namely
        ‘do Jws (_, claimsRaw) <- first
                                    (TokenErrorMalformed . show) eitherJwt
            jwtClaims <- first TokenErrorMalformed
                           $ Aeson.eitherDecode $ fromStrict claimsRaw
            let (IntDate expiredAt)
                  = fromMaybe (IntDate curTime) $ jwtExp jwtClaims
            when (expiredAt < curTime) $ Left TokenErrorExpired
            ....’
      In a stmt of a 'do' block:
        userId <- either throwError return
                    $ do Jws (_, claimsRaw) <- first
                                                 (TokenErrorMalformed . show) eitherJwt
                         jwtClaims <- first TokenErrorMalformed
                                        $ Aeson.eitherDecode $ fromStrict claimsRaw
                         let (IntDate expiredAt)
                               = fromMaybe (IntDate curTime) $ jwtExp jwtClaims
                         when (expiredAt < curTime) $ Left TokenErrorExpired
                         ....
   |
19 |     Jws (_, claimsRaw) <- first (TokenErrorMalformed . show) eitherJwt
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

here's my stack.yml

# This file was automatically generated by 'stack init'
#
# Some commonly used options have been documented as comments in this file.
# For advanced use and comprehensive documentation of the format, please see:
# https://docs.haskellstack.org/en/stable/yaml_configuration/

# Resolver to choose a 'specific' stackage snapshot or a compiler version.
# A snapshot resolver dictates the compiler version and the set of packages
# to be used for project dependencies. For example:
#
# resolver: lts-3.5
# resolver: nightly-2015-09-21
# resolver: ghc-7.10.2
#
# The location of a snapshot can be provided as a file or url. Stack assumes
# a snapshot provided as a file might change, whereas a url resource does not.
#
# resolver: ./custom-snapshot.yaml
# resolver: https://example.com/snapshots/2018-01-01.yaml
resolver: lts-14.7

# User packages to be built.
# Various formats can be used as shown in the example below.
#
# packages:
# - some-directory
# - https://example.com/foo/bar/baz-0.0.2.tar.gz
# - location:
#    git: https://github.com/commercialhaskell/stack.git
#    commit: e7b331f14bcffb8367cd58fbfc8b40ec7642100a
# - location: https://github.com/commercialhaskell/stack/commit/e7b331f14bcffb8367cd58fbfc8b40ec7642100a
#  subdirs:
#  - auto-update
#  - wai
packages:
- .
# Dependency packages to be pulled from upstream that are not in the resolver
# using the same syntax as the packages field.
# (e.g., acme-missiles-0.3)
extra-deps:
  - digestive-functors-0.8.4.0
  - digestive-functors-aeson-1.1.27
  - string-random-0.1.0.0

# Override default flag values for local packages and extra-deps
flags: {}

# Extra package databases containing global packages
extra-package-dbs: []

# Control whether we use the GHC we find on the path
# system-ghc: true
#
# Require a specific version of stack, using version ranges
# require-stack-version: -any # Default
# require-stack-version: ">=1.9"
#
# Override the architecture used by stack, especially useful on Windows
# arch: i386
# arch: x86_64
#
# Extra directories used by stack for building
# extra-include-dirs: [/path/to/dir]
# extra-lib-dirs: [/path/to/dir]
#
# Allow a newer minor version of GHC than the snapshot specifies
# compiler-check: newer-minor

[leomayleomay]

turns out I will have to add NoMonadFailDesugaring to default extensions