@edwinbrady What is the way to write something like newtype X ... = X { foo :: forall m. MyInterface m => ... } in Idris ?
@mandubian is it the record projection or the forall you want? Or both? {m:_} -> MyInterface... should work.
-
-
@edwinbrady yes both... i have a "forall m. MyInterface m => K m -> m a" for example -
@mandubian I'm not at a computer right now but if you point me at a compete example I'll try to translate later - 4 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.