ざっとキーワードだけ。型クラスの宣言はclassで行います。宣言の中ではクラスメソッドの型宣言と、クラスメソッドのデフォルト実装を書くことができます。型を型クラスのインスタンスだと宣言する時はinstanceを使います。宣言の中でクラスメソッドの実装を…