Import all implicits.
Seems to compile.
Seems to compile.
Measure the size.
Simplify.
Imports.