12:04:09 <Reite> Is it possible to write a SafeCopy instance for a Gadt where the return value is specialized like this?: http://lpaste.net/140474