Expecting fa :: [Int] -> Char -> Bool -> (Bool, Char, [Int]) or equivalent
OK