- The accessor is a payload of functions that is given to a monadic function to allow it to be compatible with a globally common monadic state type
- The adaptor is a monad to monad wrapper that allows a monad written for one state type to work for another.
I have two choices: revert back to the accessor or... or pass a tuplet or record of adaptors and use "one per payload type". Note good because it beats the purpose which would be to use the adaptor concept in layers. I am tempted to ditch this adaptor concept in F# for the moment.