@@ -64,9 +64,7 @@ class Fieldy (r :: *) where
6464instance {-# OVERLAPPABLE #-} (Fieldy r, Elem e (Fields r)) => Has e r where
6565 part = getLens lensList
6666
67−class (MonadReader r m, HasAll es r)
68− => MonadHas (es :: [*]) (r :: *) (m :: * -> *) | m -> r
69−instance (MonadReader r m, HasAll es r) => MonadHas es r m
67+type MonadHas es r m = (MonadReader r m, HasAll es r)
7068
7169instance GetLens e (e ': es) 'Z where
7270 getLens (LLCons l _) = l