Type annotated composition arrows!

AnnotatedArrows.hs

{-# LANGUAGE RequiredTypeArguments #-}

module AnnotatedArrows (
  (<--<), (>--),
  (--<), (>-->),
) where

infixr 9 <--<, >--

(<--<) :: (b -> c) -> (a -> b) -> a -> c
(<--<) = (.)

(>--) :: forall b -> (a -> b) -> a -> b
_ >-- f = f

_test_l :: Bool -> Int
_test_l = (*2) <--<Int>-- fromEnum <--<Bool>-- not

infixr 9 --<, >-->

(--<) :: (a -> b) -> (b -> c) -> a -> c
(--<) = flip (.)

(>-->) :: forall a -> (a -> b) -> (a -> b)
_ >--> g = g

_test_r :: Int -> Bool
_test_r = (*2) --<Int>--> toEnum --<Bool>--> not