gistfile1.txt

[-Wdeferred-type-errors]
    • Couldn't match type ‘GHC.IO.Exception.IOException’
                     with ‘ServantErr’
        arising from a functional dependency between:
          constraint ‘Control.Monad.Error.Class.MonadError ServantErr IO’
            arising from a use of ‘throwError’
          instance ‘Control.Monad.Error.Class.MonadError
                      GHC.IO.Exception.IOException IO’
            at <no location info>
    • In the expression: throwError invalidPlanErr
      In a case alternative:
          Nothing
            -> throwError invalidPlanErr
            where
                invalidPlanErr :: ServantErr
                invalidPlanErr = err403 {errBody = encode InvalidPlanID}
      In the second argument of ‘($)’, namely
        ‘case Map.lookup id plans of
           Nothing
             -> throwError invalidPlanErr
             where
                 invalidPlanErr :: ServantErr
                 invalidPlanErr = err403 {errBody = encode InvalidPlanID}
           Just plan
             -> do subscription <- newSubscription plan
                   openAttempt <- sendSubscription wormholeClient subscription
                   ....’