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