@@ -64,9 +64,7 @@ class Fieldy (r :: *) where
64instance {-# OVERLAPPABLE #-} (Fieldy r, Elem e (Fields r)) => Has e r where
64instance {-# OVERLAPPABLE #-} (Fieldy r, Elem e (Fields r)) => Has e r where
65 part = getLens lensList
65 part = getLens lensList
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)
71instance GetLens e (e ': es) 'Z where
69instance GetLens e (e ': es) 'Z where
72 getLens (LLCons l _) = l
70 getLens (LLCons l _) = l