cleanup

Author: tgdwyer

_chapters/haskell1.md

@@ -151,8 +151,7 @@ By the way, once you are in the `IO` monad, you can’t easily get rid of it.  A
 The `print` function is equivalent to the PureScript `log $ show`.  That is, it uses any available `show` function for the type of value being printed to convert it to a string, and it then prints that string.  Haskell defines show for many types in the Prelude, but print in this case invokes it for us.  The other difference here is that square brackets operators are defined in the prelude for linked lists.  In PureScript they were used for Arrays---which (in PureScript) don’t have the range operator (`..`) defined so I avoided them.  Speaking of List operators, here’s a summary:
 
 <div class="cheatsheet" markdown="1">
-
-## Basic List and Tuple Operator Cheatsheet
+**Basic List and Tuple Operator Cheatsheet**
 
 The default Haskell lists are cons lists (linked lists defined with a `cons` function), similar to [those we defined in JavaScript](/functionaljavascript/#computation-with-pure-functions).
 
@@ -450,7 +449,7 @@ fibs n = case n of
 ```
 
 </div>
-
+---
 ## Glossary
 
 *GHCi REPL*: The interactive Read-Eval-Print Loop for GHC, the Glasgow Haskell Compiler, allowing users to test Haskell programs and expressions interactively.

_chapters/haskell2.md

@@ -29,7 +29,8 @@ Now we can create a small list like so:
 l = Cons 1 $ Cons 2 $ Cons 3 Nil
 ```
 
-### Aside: data vs newtype
+<div class="alert-box alert-info" markdown="1">
+**`data` vs `newtype`**
 
 We can construct a type `UserId` with one parameter, `Int`
 
@@ -45,9 +46,10 @@ student :: UserId
 student = UserId 1337
 ```
 
-The `newtype` keyword is used to define a type that has **exactly** one constructor with **exactly** one field. It is primarily used for creating a distinct type from an existing type with *zero runtime* overhead. This can be useful for adding type safety to your code by creating new types that are distinct from their underlying types or giving types a greater semantic meaning, e.g., a UserId compared to an Int.
+The `newtype` keyword is used to define a type that has *exactly* one constructor with *exactly* one field. It is primarily used for creating a distinct type from an existing type with *zero runtime* overhead. This can be useful for adding type safety to your code by creating new types that are distinct from their underlying types or giving types a greater semantic meaning, e.g., a UserId compared to an Int.
 
 The data keyword is used to define an algebraic data type (ADT). This allows for the creation of complex data structures that can have multiple constructors. Each constructor can take zero or more arguments, and these arguments can be of any type.
+</div>
 
 ## Pattern Matching