Formatting for initial solution.
Implementation with value-level Show.
Implementation with typelevel hlist.
Implemented circuits for fun.