YoshikuniJujo on Nostr: なんとなく foo :: Monad f => ((a -> b) -> t) -> (a -> f b) -> f t ...
なんとなく
foo :: Monad f => ((a -> b) -> t) -> (a -> f b) -> f t
なら可能なような気がしてきた。わからないけど。
Published at
2025-01-24 00:40:03Event JSON
{
"id": "d4916035342cbc3fec033a17475177352dde7763bd3203077347c71445eeddde",
"pubkey": "ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758",
"created_at": 1737679203,
"kind": 1,
"tags": [
[
"e",
"5b25937af00ff309a0ade51cdd5ebe75848e3b69f31b98f04776662006bba7b7",
"",
"root"
],
[
"p",
"ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758"
]
],
"content": "なんとなく\nfoo :: Monad f =\u003e ((a -\u003e b) -\u003e t) -\u003e (a -\u003e f b) -\u003e f t\nなら可能なような気がしてきた。わからないけど。",
"sig": "30433600ab97570d0b7ae2b823fcec046d67a64520d47645140358285fb9c34dea96a13c4b921c6005eaf5278e08e9f8d4e1f455efa1194363a192d6dd81e36e"
}