generated at
2/18/2025, 7:09:15 PM
型クラス制約
型制約種
=>
の
kind
(=>) :: Constraint -> * -> *
複数の制約を設ける場合
hs
foldMap :: (Foldable t, Monoid m) => (a -> m) -> t a -> m