:: [t] -> Int package:yaya

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