'SourceT m (SourceT m a) -> SourceT m a', dynamic source source