trường hợp chồng chéo bằng cách chuyển Monads vào nửa nhóm

Question

Monads xác định Semigroups qua

instance Monad m => Semigroup (m a) where 
    (<>) = (>>) 

sử dụng FlexibleInstances.

Nếu tôi muốn làm Maybe a thành một Semigroup theo cách mà tôi sẽ chạy vào sự chồng chéo intance, vì Data.Semigroup định nghĩa một

instance Semigroup a => Semigroup (Maybe a) 

các Haskell-Way để giải quyết một cái gì đó như thế là gì?

Answer 1

Cách phổ biến trong đó các vấn đề này được giải quyết là với trình bao bọc newtype. Bạn sẽ không xác định một số instance Semigroup (m a), mà là

newtype WrappedMonad m a = WrappedMonad { getWrappedMonad :: m a } 

instance Monad m => Semigroup (WrappedMonad m a) where 
    WrappedMonad a <> WrappedMonad b = WrappedMonad (a >> b)