Is your feature request related to a problem? Please describe.
Right now folks are generally used to being able to throw (.) at their problems. Can Prelude.Linear's (.) be generalized?
Describe the solution you'd like
(.) :: (b %m -> c) %m -> (a %m -> b) %m -> (a %m -> c)
(.) f g x = f (g x)
Describe alternatives you've considered
Defining a one-off linear (.) can also be done, but this subsumes both. With LinearHaskell turned off it seems like this falls back to the regular (.).
Additional context
Add any other context or screenshots about the feature request here.
Is your feature request related to a problem? Please describe.
Right now folks are generally used to being able to throw
(.)at their problems. CanPrelude.Linear's(.)be generalized?Describe the solution you'd like
Describe alternatives you've considered
Defining a one-off linear
(.)can also be done, but this subsumes both. With LinearHaskell turned off it seems like this falls back to the regular(.).Additional context
Add any other context or screenshots about the feature request here.