"because a e-facto the type" needs some rewording