以前の質問で、 haskellでハードデータ型と型クラスを勉強していて、あるクラスとデータ型があるか知りたいのですが、
例えば:
class Example a where
function :: a -> Int
と
data Tree a = EmptyTree
| Node a (Tree [a]) (Tree [a]) deriving (Show, Read, Eq)
クラス例の関数をデータ型ツリーで使用するにはどうすればよいですか?
インスタンスと関係があると思いますが、これは正しいですか?
instance Example where
function :: a -> Int, and then i define the function here?
例を教えてください。