seq package:dhall

General-purpose finite sequences.
Decode a Seq.
>>> input (sequence natural) "[1, 2, 3]"
fromList [1,2,3]
Convert to an ordered Seq