As Haskell begins to get more and more dependently typed features this could definitely be an exciting possibility (I think there are folks already working on this).