monomorphism example