:: [a] -> Bool package:yaya

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