Hi Simon, > instance {-# OVERLAPPABLE #-} Show a => Show [a] where … Is the syntax somewhat flexible in where the pragma can be placed? For example, some might prefer {-# OVERLAPPING #-} instance Show [Char] where …