json type to a specific type presentation, like with Aeson's FromJSON. I could still get all the test cases from the JSON file without it, but the rest of the application needs to handle JSON as well and then a decoder abstraction would be really good to have. So writing a decoder module is next edit: Never mind again. I keep missing stuff because I keep looking for Haskell-like solutions, but Koka is simply different.