a note on the type