Encoding datatypes in term of other datatypes and generalising their propertieshttps://www.youtube.com/watch?v=lzmLTOxxni8 by lang_agnostic • 8 years ago 1 0 8 years agoYOyoutube.com