Bidirectional Instance ContextsPublished byreasonablypolymorphic.comon •1 min read←Haskell Constraints TypeclassesLearn moreShareLegalReport