ハイコウイクチスは、ミロクンミンギアのシノニムとも言われていますね。