Tensor.hs

{-# language UnicodeSyntax #-}

import Data.Functor
import Control.Monad

f₁ = (putStrLn "f₁" $>)
f₂ = (putStrLn "f₂" $>)
g₁ = (putStrLn "g₁" $>)
g₂ = (putStrLn "g₂" $>)

main = do
  r₁ ← (f₁ ⊗ g₁ >=> f₂ ⊗ g₂) (True, False)
  print r₁
  r₂ ← ((f₁ >=> f₂) ⊗ (g₁ >=> g₂)) (True, False)
  print r₂

f ⊗ g = \ (x, y) → do
  x' ← f x
  y' ← g y
  pure (x', y')