ExecutionEffects.Effects: type of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_effects.bend as ExecutionEffects
Lines 10-11 of bendvy-ecs-core@0.1.0.3/execution_effects.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_effects.bend&start_line=10&end_line=11

import Base

type Effects<-F:Type -> Type> is Type:
  Effects{pure:Pure(~F),bind:Bind(~F),map:Mapping(~F)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_effects.bend&name=Bind
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_effects.bend&name=Mapping
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_effects.bend&name=Pure