- implementing this function just shows that the type ((a -> b), a) -> b is #inhabited. Therefore #modusponens is true in our logic.