Implement sepCapWithin :: m mask -> m a -> m [Either (Tokens s), a]
Implement