Compat Module: stylistic change
Compat Module: move let(s) into a where clause
Compat Example: use a Patter Match instead of accessors

This is to highlights the type used in the example and how to convert
them into hourglass types