Libraries.Data.Tap

Is there a more common name for this transformer?
`ListT m a` is for `m (List a)` rather than this more progressive thing

Definitions

data Tap : (Type -> Type) -> Type -> Type

Totality: not strictly positive
Visibility: public export
Constructors:

Nil : Tap m a

(::) : a -> m (Tap m a) -> Tap m a

Hint: 

Functor m => Functor (Tap m)

traverse : Monad m => (a -> m b) -> Tap m a -> m (Tap m b)

Visibility: export

filter : Monad m => (a -> Bool) -> Tap m a -> m (Tap m a)

Visibility: export