Adam Wyner <adam at wyner.info> writes: > I really want to get the following sort of report for the type: > negationAtomicProps atomicProps1 :: PropList GHCi seems to get this right. Is that an option for you? -k -- If I haven't seen further, it is by standing in the footprints of giants