papa-prelude-semigroupoids-0.0.2: src/Papa/Prelude/Semigroupoids/Data/Semigroupoid.hs

{-# LANGUAGE NoImplicitPrelude #-}

module Papa.Prelude.Semigroupoids.Data.Semigroupoid(
  (.)
, Semigroupoid
) where

import Data.Semigroupoid(Semigroupoid(o))

(.) ::
  Semigroupoid cat =>
  cat b c
  -> cat a b
  -> cat a c
(.) =
  o