Seemingly Impossible Functional Programs