Monomorphism error example