• Skip a top-level item if it does not typecheck.
• Replace instances by their implementations.
• Try to produce code that is as readable as possible.

Type!