iris

Haskellには maybe :: b -> (a -> b) -> Maybe a -> b either :: (a -> c) -> (b -> c) -> Either a b -> c みたいな関数がある。おなじように、 list :: b -> (a -> [a] -> b) -> [a] -> b みたいな関数があるといいのだけど。
0