GHCPanic.hs

{-# LANGUAGE DerivingStrategies, GeneralizedNewtypeDeriving, DeriveAnyClass, FunctionalDependencies, DeriveGeneric #-}

module Lib where

import Control.Lens
import Control.Monad.Writer
import Control.Monad.Except
import Data.Monoid
import GHC.Generics

data Foo = Foo
data Bar = Bar

newtype SomeT m a
  = SomeT { runSomeT :: WriterT (Endo Foo) (ExceptT Bar m) a  }
  deriving stock    (Generic)
  deriving newtype  (Functor, Applicative, Monad, MonadError Bar)
  deriving anyclass (Wrapped)