Update packages, convert to GHC Typelits.
Formatting