Re: [Haskell-cafe] Manual type-checking in graphs: Avoidable?

Tom Ellis writes:

I agree. FGL seems inappropriate to model people owning hamsters because you genuinely want to reflect the difference between people and hamsters by having two different node types.

What would you propose instead? -- с уважениeм / respectfully, Косырев Сергей