Type checking ./test024.idr
testtest
() : ()