не параметризована в коде (просто не удачный пример привёл), равно как и то где она используется:
data X
class C m where
a :: X -> m ()
—-
data X = X String
instance C SomeMonad where
a x = {- implementation using x -}
да я понял как это сделать если есть аргумент в классе
Обсуждают сегодня