Type checking ./test022.idr
0.9995736030415051