Array自体にemptyかnon emptyかを表す型パラメータがついたphantom typeになるような状態だと思う