https://ma.tt/2007/12/infinitely-extensible/