Expecting fc :: (Num t1, Num t) => [(t1, t)] -> (t, t1) or equivalent OK