expected

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

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

[3, 2, 1]
"Number 42"