Mark Koch

* qualified/unqualified? * open/closed? * renaming?

Nested generic functions are not supported yet

It could be confusing for users that the signature differs from the usual `len` function.

It would be better to only have a single function `__next__: Iter -> Sum((Elem, Iter), ())`, compared to the current protocol with `__hasnext__`, `__next__`, and `__iterend__`. But this requires a...

Something to correspond to the Hugr `Sum` type. Probably also requires a way to match on them as a followup

- [ ] `__pow__` for int and float. Either add native support in Hugr or implement via loop? Note that there are also some typing issues: `2 ** 2 =...

Brought up by @acl-cqc in https://github.com/CQCL-DEV/guppy/pull/70#discussion_r1447311761

Suggested by @acl-cqc in https://github.com/CQCL-DEV/guppy/pull/70#discussion_r1447329637