Keyword:typeclass diamonds

Publications
EasyChair Preprint 6176