typeとnewtypeの違いがわかりません。
class定義する際には後者をつかうみたいなんだけど…