type-casting to Typhlosioning