https://cubicgarden.com/2010/02/03/system-f-remix-competition/
System F remix competition