Kush's Wiki
newtype
#
Programming
既存型をラップする形で新たな型を定義する
型エイリアス
のように使われることが多いが、型エイリアスと異なりあくまで別の型として扱う
Effective Rust
Programming in Haskell 2nd edition