#category theory #functional programming #lazy evaluation #infinite structures