Idris.ProofSearch

trivial

proofSearch