Fcon :: Id -> Term  -- data constructor