Data.Smash.Traced

tell :: forall a rl r w. ComonadTraced a w => RowToList r rl => ComonadSmash rl r => a -> Co (Smash (traced :: Proxy2 w | r)) Unit

tellWith :: forall a rest rl r w l. ComonadTraced a w => IsSymbol l => Cons l (Proxy2 w) rest r => RowToList rest rl => ComonadSmash rl rest => SProxy l -> a -> Co (Smash r) Unit