# 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.