idris-0.9.9.1: test/test020/expected

When elaborating right hand side of foo:
test020a.idr:16:Can't unify
	Vect n a
with
	List a

Specifically:
	Can't unify
		Vect n a
	with
		List a

[3, 2, 1]
Number 42