Ether.Internal
data Tagged k s b
class HasLens tag outer inner
type LensLike f s t a b
type Lens s t a b
type Lens' s a
data ReifiedLens s t a b
type ReifiedLens' s a
data HList xs
type KindOf a
data TAGGED e t
type family HandleSuper (eff :: keff) (p :: kp) (trans :: K_Trans) :: Constraint
type family HandleConstraint (eff :: keff) (p :: kp) (trans :: K_Trans) (m :: K_Monad) :: Constraint
class Handle eff p trans