Overlapping and incoherent instances

Andreas Abel andreas.abel at ifi.lmu.de
Tue Jul 29 12:33:07 UTC 2014

+1. I like Niklas' syntax better.  Also OVERLAPPABLE is a horrible word, 
OVERLAPPING sound less formidable (even though it might be slightly less 

On 29.07.2014 11:29, Niklas Hambüchen wrote:
>> 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 …

Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se

More information about the Libraries mailing list