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

idris2 TypeAtInterfaces.idr < input
