[eru]

> I can't really think of any abstraction that's not available to it [...]

Dependent typing doesn't work very well in Haskell (yet).