``` unfoldrExactlyNM :: Monad m => Int -> (s -> m ((a, s))) -> s -> Stream m a ``` or something like that, plus vector level siblings cc @dolio @davean