TypeSlicer POC