2009-11-29から1日間の記事一覧
けど出来ないので次のようになってしまう・・・。 {-# LANGUAGE KindSignatures, TypeFamilies, EmptyDataDecls, MultiParamTypeClasses, FunctionalDependencies, UndecidableInstances, TypeOperators, FlexibleInstances #-} data Nil data Cons a b type…
けど出来ないので次のようになってしまう・・・。 {-# LANGUAGE KindSignatures, TypeFamilies, EmptyDataDecls, MultiParamTypeClasses, FunctionalDependencies, UndecidableInstances, TypeOperators, FlexibleInstances #-} data Nil data Cons a b type…