-
Simon Peyton Jones authored
Also add notes about unsafeCoerce The general thread here is to reduce use of ArgKind after the type checker; it is so fragile!
9789b032
Also add notes about unsafeCoerce The general thread here is to reduce use of ArgKind after the type checker; it is so fragile!