expected

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