idris-0.9.12: test/basic006/expected

When elaborating right hand side of foo:
test020a.idr:14:18:When elaborating an application of function Prelude.List.reverse:
        Can't unify
                Vect n a
        with
                List a
        
        Specifically:
                Can't unify
                        Vect n a
                with
                        List a
[3, 2, 1]
"Number 42"