Fileのラッパ、Eitherの非デフォルトコンストラクタ持ちへの対応
constexpr対応
Unit Type
add UnitTypeTest
MixTypeTest