Hi Reiner,<br><br><div class="gmail_quote">On Wed, Mar 14, 2012 at 00:30, Reiner Pope <span dir="ltr"><<a href="mailto:reiner.pope@gmail.com">reiner.pope@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
A similar question is what the following should do:<br>
<br>
> {-# LANGUAGE DeriveGeneric, FlexibleInstances, StandaloneDeriving #-}<br>
> import GHC.Generics<br>
> data T a = T a<br>
> deriving instance Generic (T Bool)<br>
<br>
Surprisingly, it currently generates the following instances:<br>
<br>
> instance Generic (T Bool) where ...<br>
> type instance Rep (T a) = ...<br></blockquote><div><br>Oh, this is a bug. I'll open a ticket for it and fix it soon.<br><br><br>Thanks,<br>Pedro<br><br></div></div>