Encoding datatypes in term of other datatypes and generalising their propertiesyoutube.com·1 pts·lang_agnostic·0