Type Class Tom-Foolery

• Group Theory
• Cayley's Theorem
• Yoneda lemma
• Natural Transformation
• Patreon
• Corepresentable
• Any Applicative Is Num
• Accept values with varying number of arguments
• Heyting Algebra
• PureScript instance
• React Native
• Recursion Schemes
• purescript-matryoshka
• Type-Directed Search
• Hole-driven Haskell