from, constant, ones, map implemented via unfold