Event JSON
{
"id": "5b49044ac610e2c13de5e19179a50e86327f15f781ce132533966b07caf57dc4",
"pubkey": "ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758",
"created_at": 1724981371,
"kind": 1,
"tags": [
[
"e",
"2aeb6efc4917be39ee833761ba7ef2db7688a8c262ea3b5661b9c8a18032a925",
"",
"root"
],
[
"p",
"ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758"
],
[
"r",
"https://github.com/YoshikuniJujo/test_haskell/blob/master/themes/hetero-list/try-hetero-parameter-list/src/Data/HeteroParList/Constrained.hs"
]
],
"content": "https://github.com/YoshikuniJujo/test_haskell/blob/master/themes/hetero-list/try-hetero-parameter-list/src/Data/HeteroParList/Constrained.hs\n\nData.HeteroParListとData.HeteroParList.Constrainedとに分けているのだけど、「空の型制約」が使えれば後者だけを定義しておけば前者は型シノニムで書ける(と思う)。",
"sig": "29abb8da941a4a487d0b544f61d8ed05d4b6534da8a6ea5c15f81f666138cfb21b979737f0f91183fc6e6cfbeab5a383d938c005429950062b92689db4cc1ed8"
}