dag/kibr — Issue #21: Type safety
Author: dag
Created: 2012-02-02 13:10:35+00:00
State: open
Labels: Implementation

Type safety could be improved in some places:

* ixset is constrained only by Typeable which allows runtime errors
** HiggsSet uses type families instead, but doesn't build
** kdtree is also more type safe, but isn't on hackage yet
* blaze-html allows invalid html, only ensuring well-formedness
** xhtml-combinators ensures valid xhtml in the types (ignoring attributes) but only does xhtml
** heist ensures valid html5, but isn't a combinator library
* The css package allows more or less anything in both rules and properties