Desc@ICFP: \spi and \switch are operators, so not presented as typing judgments
Desc@ICFP: \spi and \switch are operators, so not presented as typing judgments
kwangkim/pigment,brixen/Epigram,kwangkim/pigment,kwangkim/pigment