One example of something with monadic behavior would be a type of "list" that has the following:

- TYPE CONSTRUCTOR: This is just a basic constructor to make a "list" of type "T" without specific input.

- TYPE CONVERTER:   A "list" of type "T" can be constructed from just a "T" (or maybe a bunch of "T"s). So you're
                    converting a "T" into a "list" of "T".

- COMBINATOR:       You can perform an operation on all "T"s in the "list" by invoking that operation on the list
                    itself.

Things that are monadic:
    - nullable values
    - list comprehension
    - async / await