Fvar :: Id -> Term  -- data constructor