3 ms·Higher-Kinded Data (types for both validated and raw data witho redundancy)2 points by unhammer 9y ago