[Haskell-cafe] Asking for advice on category for a paper for ICFP