fix package:yaya

A fixed-point constructor that uses Haskell's built-in recursion. This is strict/recursive.
A fixed-point constructor that uses Haskell's built-in recursion. This is lazy/corecursive.