型とは何か