Expecting fb :: (Num t, Num t1) => (t1, t) -> (t, t1) or equivalent
OK