Avatar
omochimetaru 8/16/2018 2:04 AM
Array自体にemptyかnon emptyかを表す型パラメータがついたphantom typeになるような状態だと思う