[ port idris-lang/Idris2#2863 ] Make some higher-order functions in prelude tc-inlined#34

mjustus wants to merge 1 commit intoedwinb:mainedwinb/Yaffle:mainfrom

mjustus:port-pr2863mjustus/Yaffle:port-pr2863Copy head branch name to clipboard