Yaya-Unsafe Unsafe extensions to the Yaya recursion scheme library. This includes Recursive instances for lazily-recursive types Corecursive instances for strictly-recursive types operations on trees that can’t be implemented in a total fashion.