Add Type.unif_failed