Coherence and orphan instance rules (via abhin4v) — discussion

#haskell #plt