Sextable class
Polymorphic length
Swap SC arguments
Generate Sextable instances using TH

Template Haskell has no support for constraints, thus we use <=? instead

Fix take/drop implementations