Hi > > Ian, a member of the "Out with DMR, defaulting, unary negation and n+k > > patterns" club > > Ian: what's DMR? That's what I asked on IRC - answer: Dreaded Monomorphism Restriction. And as it happens, I am a member of the same club as Ian. Thanks Neil