{
    "name": "take",
    "result_type": "List[a]",
    "no_log": true,
    "call": "Data.List.take[n,xs]",
    "args": [
        {
            "arg_name": "n",
            "arg_type": "Int"
        },
        {
            "arg_name": "xs",
            "arg_type": "List[a]"
        }
    ]
}
