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