i was not aware of what's going on with Liquid Haskell! This dissertation[0] just came out and looks like to be exactly what i had in mind!

[0] http://goto.ucsd.edu/~nvazou/thesis/main.pdf