Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- semigroupAssocFunc :: (Eq m, Semigroup m) => (a -> m) -> (a -> m) -> (a -> m) -> a -> Bool
- semigroupAssocFunc a b c d = ((a <> b) <> c) d == (a <> (b <> c)) d
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement