Draft on the monomorphism restriction