Avatar
type checker 上では リターンタイプは Void として扱われていますね。