Encoding datatypes in term of other datatypes and generalising their propertiesyoutube.com 1lang_agnostic7ydiscuss