2 ms·source: good generics implementations Coq: 142% Haskell: 91% All Other Languages: 0%by IReplyToRetards 8y agosource: good generics implementations Coq: 142% Haskell: 91% All Other Languages: 0%