You can also try this: bunch n f = takeWhile (not . null) . unfoldr (Just . (f *** id) . splitAt n)

(bunch 8 . bunch 4 . bunch 2) id [1..16]

Any way, it's not possible to take list [8, 4, 2], because it's length need to be known at compile time.