如何从“ BoundedEnum a”派生“ BoundedEnum（也许是a）”？

Question

我在“找不到Data.Enum.BoundedEnum (Maybe InstitutionContactType)的类型类实例的错误”，但是由于存在instance enumMaybe :: BoundedEnum a => Enum (Maybe a)，instance boundedMaybe :: Bounded a => Bounded (Maybe a)和instance boundedEnumInstitutionContactType :: BoundedEnum InstitutionContactType，我会认为这应该可行，尽管也许是因为我在enumMaybe中所需要的方向是错误的？

boundedMaybe给我们Bounded (Maybe a)，enumMaybe给我们Enum (Maybe a)，并且给定class (Bounded a, Enum a) <= BoundedEnum a和Bounded (Maybe a)，Enum (Maybe a)应该，还给了我们BoundedEnum (Maybe a)，我认为我的方向性正确，如果我理解正确的话，实例和类在需要提供的内容方面是相反的。

Answer 1

当然，我终于意识到这是行不通的，因为BoundedEnum和Bounded中已有的成员需要另外三个成员来实现