почему unkown value disconnect?

кажется я чего-то совсем простого не понимаю
разве я не могу внутри реализации инстанса использовать ф-ции этого тайпкласса?

class Monad m <= Hub m where
  connect ∷ User → m Unit
  disconnect ∷ m Unit
  send ∷ String → m Unit
  receive ∷ Message → m Unit

nvm, импорт забыл

хм, интересно

а в хаскеле разве так же? по-моему нет же
но это работает, если написать, например так:

class Foo a where
  foo ∷ a → a
  bar ∷ a → a

instance fooInt ∷ Foo Int where
  foo x = 5
  bar y = foo y

а тут интересно что не так?

не понятно в общем, похоже и тут нужен unlift

хах https://github.com/paf31/purescript-day/pull/7

🙃

эмм

(purs 0.12.1)

предполагаю, что он не может понять что за кайнд у a,
тк это будет работать, если ему в этом помочь:

newtype Bar a = Bar (Effect a)
derive newtype instance functorBar ∷ Functor Bar

или так

newtype App a = App (a → a)

но это просто догадка, хотя тогда не понятно как a -> a помогает
—-
ок, в слаке Liam ответил

кто-нибудь понимает что это https://github.com/paf31/purescript-day ?

наверное @xgrommx знает)
я хочу научиться этим пользоваться

day convolution :D

я всё раньше не понимал как избежать вот такого:

  for_ e0 \v0 ->
    for_ e1 \v1 ->
      for_ e2 \v2 ->
        b v0 v1 v2

но вот вчера увидел решение на основе day convolution и не понял ничего совсем

  for_ (e0 <⊗> e1 <⊗> e2) \(v0 /\ v1 /\ v2) ->
    b v0 v1 v2

надо намутить что-то вводное, я сходу не понимаю что написано в том пакете

Day convolution есть exists a b. (a -> b -> x) (f a) (g b)

если a = b то это же liftA2

а, я понял, это очень просто
https://ncatlab.org/nlab/show/Day+convolution
думаю, мне нужно это знать пока, вернусь к этому позже, через годик-два
вот ещё два поста нашёл вроде нормальных:
https://blog.functorial.com/posts/2016-08-07-Comonads-As-Spaces.html
https://blog.functorial.com/posts/2016-08-08-Comonad-And-Day-Convolution.html