所以我打這件事 {-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, FunctionalDependencies #-}
import Data.Monoid
class Monoid m => Mconcat m a | a -> m where
mcon :: m -> a
instance Monoid m =>
假設我有一個類型類n類型參數,我希望他們中的任何一個唯一確定所有其他類型。是否足以使依賴關係形成類週期 class Foo a b c | a -> b, b -> c, c -> a
(線性)那裏是從每一個參數每隔一個路徑,或者我需要擴大像所有可能的路徑在 class Bar a b c | a -> b, a -> c, b -> a, b -> c, c -> a, c -> b
(