Type checking ./Main.idr