Monad实例是否由其Applicative实例唯一确定？

Question

在To what extent are Applicative/Monad instances uniquely determined?中，我询问对于给定的数据类型，实例是否是唯一确定的（事实并非如此）。但是，一个相关但不同的问题是：

如果我们的数据类型包含Applicative个实例，它是否可以有多个有效的Monad实例？或者换句话说，相应的monad是唯一确定的，如果它存在？