. ../../../testutils.sh

check Implicits.idr
