Bob questions

• How to nondeterministically put a value in a state?
• Finite multisets as a HIT in Cubical Agda
• Combining the state monad with the costate comonad
• Bicategories in Haskell
• Generalized Newtype Deriving
• The reverse state monad in OCaml
• interpret Parigot's lambda-mu calculus in Haskell
• Jumping forward with the continuation monad
• Retrocausality in Haskell: From Tardis to RevState
• Why IO is a monad instead of a comonad?

Bob answers