purescript-0.15.15: tests/purs/warning/4414.out