Ffun :: Id -> Term  -- data constructor