Re: [Haskell-cafe] Basic Haskell Types Question

Adam Wyner 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