3 ms·Encoding datatypes in term of other datatypes and generalising their properties1 points by lang_agnostic 8y ago