*** DROP
Input: \f -> f (0::Int) "" == "" && (f 1 "" == "") && (f 2 "" == "") && (f 3 "" == "") && (f 4 "" == "") && (f 0 "x" == "x") && (f 1 "x" == "") && (f 2 "x" == "") && (f 0 "x y" == "x y") && (f 1 "x y" == " y") && (f 2 "y" == "")