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