. ../../testutils.sh

check DeriveTraversable.idr
