{
  "functions": {
    "shell": [
      {
        "code": "ghci\nSystem.Process.callCommand \"/bin/sh\"\n"
      }
    ],
    "sudo": [
      {
        "code": "sudo ghci\nSystem.Process.callCommand \"/bin/sh\"\n"
      }
    ]
  }
}