Curryn ja Howardin vastaavuus osuu eri tavalla, kun olet todella soveltanut olemassa olevaa implikaatiota rekvisiitan todistamiseen kuin funktiota