re: Monomorphism Restriction