Archived tweet #11572 from the @leastfixedpoint Twitter Archive

@LH I'm essentially using types to model abstract call stacks. So it's not really a cycle as more an implied tower of types (?) ... I think