Expecting fd :: (Integer, [a]) -> Int -> Bool or equivalent
OK