It would be nice to be able to use Haskell syntax for list types. Implementing this will require adding one way, runtime conversions from List (Type t) to Type (List t). These are more complicated than the tuple case since the tuple equivalence goes in both directions (while the list version drops length information).
It would be nice to be able to use Haskell syntax for list types. Implementing this will require adding one way, runtime conversions from List (Type t) to Type (List t). These are more complicated than the tuple case since the tuple equivalence goes in both directions (while the list version drops length information).