pandora-0.2.9: Pandora/Paradigm/Controlflow/Effect/Schematic.hs
module Pandora.Paradigm.Controlflow.Effect.Schematic (Schematic) where type family Schematic (c :: (* -> *) -> k) (t :: * -> *) (u :: * -> *) = (r :: * -> *) | r -> t u
module Pandora.Paradigm.Controlflow.Effect.Schematic (Schematic) where type family Schematic (c :: (* -> *) -> k) (t :: * -> *) (u :: * -> *) = (r :: * -> *) | r -> t u