extension to type