:: [t] -> t package:yaya

An implementation of toList for Corecursive fixed-points of XNor.