The
fromListN function takes the input list's length and
potentially uses it to construct the structure
l more
efficiently compared to
fromList. If the given number does not
equal to the input list's length the behaviour of
fromListN is
not specified.
fromListN (length xs) xs == fromList xs