[Haskell-cafe] Implementing a New primop