Skip to content

Commit

Permalink
Remove reference to a scary looking and somewhat unrelated video
Browse files Browse the repository at this point in the history
  • Loading branch information
arybczak committed Oct 5, 2024
1 parent 0e6d596 commit 86fda74
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions effectful-core/src/Effectful/Dispatch/Dynamic.hs
Original file line number Diff line number Diff line change
Expand Up @@ -396,9 +396,8 @@ import Effectful.Internal.Utils
-- ... for functional dependency: ‘m -> i’...
-- ...
--
-- However, there exists a [dirty
-- trick](https://www.youtube.com/watch?v=ZXtdd8e7CQQ) for bypassing the
-- coverage condition, i.e. including the instance head in the context:
-- However, there exists a trick for bypassing the coverage condition,
-- i.e. including the instance head in its context:
--
-- >>> :{
-- instance (MonadInput i (Eff es), Reader i :> es) => MonadInput i (Eff es) where
Expand Down

0 comments on commit 86fda74

Please sign in to comment.