1 2 3
# ICFP2020 Cards \BLANK is just \BLANK in the Category of \BLANK. Really, \BLANK would be better without \BLANK.