:: [a] -> a package:yaya

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