New posts in Totality

Defining recursive function over product type