A compiler plugin that will improve on the scala compiler on the assumpt...
Coq plugin for parametricity [maintainer=@proux01]