Cheshire This library tries to push categorical representations to their limit in Scala. I don’t expect it to be practical. See the dedication for Kind Projector to understand my state of mind.