Foldable

Definitions

def fold(t: t[a]): aSource