Module telescope

Telescope (Iterated sigma type representation)

Structs

Telescope

A sequence of arguments that depends on the previous sequence it’s similar to a iterated sigma type.