. ../../../testutils.sh
check DPairQuote.idr
