Simple functional ring type.