linear-base icon indicating copy to clipboard operation
linear-base copied to clipboard
verified publisher icon tweag

Control Monad instance for linear arrows

Open konn opened this issue 2 weeks ago • 2 comments

FUN r has only a data Functor instance, but it can be given Control Monad structure provided that r is Dupable. This PR just adds that instance.

konn avatar Dec 13 '25 16:12 konn