I haven't used Void enough to really be able to answer this, so here are some links to information about the empty type. https://wiki.haskell.org/Empty_type https://hackage.haskell.org/package/void http://stackoverflow.com/questions/14131856/whats-the-absurd-function-in-dat... Hope that helps. James Brown <james.brown5374@gmail.com> writes:
In the Haskell report 2010, a data declaration has the format of:
For a new type, there could be zero or more data constructors. What's the use case for a new type that has zero data constructor? _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.
-- Jack