Tony Morris

@robotlolita @mausch if Validation had a monad it'd be the same as Either. Just provide Validation s a -> Either s a :)

@puffnfresh After all, we don't distinguish between concatenation and zipping by making different types of lists...

@nuttycom @puffnfresh one type class instance per type or surrender all coding privileges.

@dibblego @nuttycom I'd love an alternative but I haven't seen a sensible one :(

@puffnfresh @dibblego what about an approach like Idris's named typeclasses?

@nuttycom @dibblego don't think they're a good idea :(

@puffnfresh why not? /cc @nuttycom @dibblego

@milessabin @nuttycom @dibblego I was set straight by @copumpkin - seems like dependent types let us enforce what we need. Awesome!