Main.purs

module Main where

import Prelude

-- Trying to implement https://github.com/dorchard/effect-monad/blob/master/src/Control/Coeffect.hs

class CoEffect :: forall k. (k -> Type -> Type) -> ((k -> Type -> Type) -> k) -> ((k -> Type -> Type) -> k -> k -> k) -> Constraint
class CoEffect 
  -- class Coeffect (c :: k -> * -> *) where
  c
  -- type Unit c :: k 
  unit
  -- type Plus c (s :: k) (t :: k) :: k  
  plus
  | c -> unit plus where

  -- extract :: c (Unit c) a -> a
  extract :: forall (a :: Type). c (unit c) a -> a


  -- extend :: forall a b s t k. (c (t :: k) a -> b) -> c ((plus c s t) :: k) a -> c s b