module Data.Traversable.Unzip.Coerce ((#.)) where
import Data.Coerce (Coercible, coerce)

infixr 9 #.
(#.) :: Coercible b c => p b c -> (a -> b) -> a -> c
#. :: forall b c (p :: * -> * -> *) a.
Coercible b c =>
p b c -> (a -> b) -> a -> c
(#.) p b c
_ = (a -> b) -> a -> c
forall a b. Coercible a b => a -> b
coerce