型クラス制約
型制約種
=>
の
kind
(=>) :: Constraint -> * -> *
複数の制約を設ける場合
code:hs
foldMap :: (Foldable t, Monoid m) => (a -> m) -> t a -> m