wadler/fp-competition-2021