Type checking ./test024.idr
testtest