I have a function convertMsg : Msg1 -> List Msg2 where Msg1 and Msg2 are certain message types. And I would like to turn this into a function: convertCmd : Cmd Msg1 -> Cmd Msg2 Which would fo...

I have the below input values import java.sql.Timestamp import java.lang.{Double => JDouble} val date = Timestamp.valueOf("2021-08-01 00:00:00") val contractRate: Map[String, JDouble] = ...

Is there an equivalent to the Reader monad that's equivalent to a -> b -> c rather than just a -> b. I know I could do (a, b) -> c but I'm not sure that's going to be very ergonomic.

For example: Maybe (Maybe Bool) -> Maybe Bool Just (Just True) -----> Just True Just (Just False) ----> Just False Just (Nothing) -------> Nothing Nothing -----------...