The example use of Bound.Name is needed.

[Heimdell]

The problem is, GHC can't figure out how to fmap the first a out of Scope (Name a ()) Program a.

The >>>= operator will leave the Name a () intact as well.

I can make it Name MyName (), but this kinda defeats the purpose of the Name wrapper.

If the Scope' (bound :: *) (f :: * -> * -> *) (name :: *) (a :: *) is a Bifunctor instead, thus preserving the names by default, this would allow us to keep the oldest names, erase them with lmap (const ()) or do any possible mapping separately from the current name set.

The Monad instance in that case would allow to only work with "latest" names.