can records be modelled as coeffects
Conversation
Wouldn't it be more like an effect? Functions would be coeffectful I think? See this article (where effects are treated as modal possibility an coeffects as modal necessity) ncatlab.org/nlab/show/nece - I could be wrong though I am a baby when it comes to this stuff! cc.
I think you have those swapped. Necessity is a comonad and possiblity is a monad. Since records are kind of like tree things, then maybe they can be thought of as a comonad.
2