Control.Functor.Linear
from linear-base
線形型の
Functor , Applicative , Monad などが定義されているhsfmap :: (a %1 -> b) %1 -> f a %1 -> f b
pure :: a %1 -> f a
(<*>) :: f (a %1 -> b) %1 -> f a %1 -> f b
(>>=) :: m a %1 -> (a %1 -> m b) %1 -> m b
return :: Monad m => a %1 -> m aどれも
%1 を消せば線形型版じゃない元の関数と全くおなじになる