expected

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