Discussion on List Comprehensions.

Functions

• Type signature is always optional
• Monads: main::IO()
• main = do (does sequential after)
• Lowercase name for a type is called a type variable (could be any type)

Control Flow

• let and where
• Guards
• Pattern Matching