For example, currently there is a hardcoded, arbitrary depth limit: https://github.com/lambdaterms/purescript-read-dts/blob/711326cacea249ec717636b33500e137fe5581de/src/ReadDTS/AST.purs#L227
For example, currently there is a hardcoded, arbitrary depth limit: https://github.com/lambdaterms/purescript-read-dts/blob/711326cacea249ec717636b33500e137fe5581de/src/ReadDTS/AST.purs#L227