idris-0.9.11: test/basic006/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"