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

[Kosyrev Serge]

Tom Ellis <tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk> 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,
Косырев Сергей