MOAR TYPING MANIFOLDS