Piotr Paradziński

Add summaries, signatures, links to abstractions from cats/mtl: https://github.com/typelevel/cats-mtl/tree/master/core/src/main/scala/cats/mtl

https://blog.functorial.com/posts/2015-12-06-Counterexamples.html

https://www.reddit.com/r/haskell/comments/8fj3ks/is_there_a_name_for_a_profunctorshaped/

Analyze and check: Commutative Monads, Diagrams and Knots - Dan Piponi - https://vimeo.com/6590617

http://blog.sigfpe.com/2006/12/tying-knots-generically.html

https://hackage.haskell.org/package/quickcheck-state-machine/docs/Test-StateMachine-Types-HFunctor.html

https://www.benjamin.pizza/posts/2017-12-15-functor-functors.html partial result: https://github.com/lemastero/scala_typeclassopedia/blob/master/src/main/scala/functorfunctor/FFunctor.scala