Listen to <https://corecursive.com/023-little-typer-and-pie-language/> for a good explanation -- and a good recursion joke at the beginning!