fact: Definition tell {W E} `{writerE W -< E} : W -> itree E unit := fun w => trigger (Tell w).
imports: Coq(List) ExtLib(Structures.Functor Structures.Monad Structures.Monoid) ITree(Basics.Basics Basics.CategoryOps Basics.MonadState Indexed.Function Indexed.Sum Core.ITreeDefinition Core.Subevent Interp.Interp Interp.Handler Events.State)