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