can use unit to define the element of a set, one :: () -> int, two :: () -> int
as many unit -> t functions exist as elements in the type t
unit -> t
instead of talking about elements in category theory, we can talk about the function from unit