:: Num i => [a] -> i package:yaya

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