Are these in Haskell already? I see them referenced in something that's called LiquidHaskell, which has its last blog entry from Jan 2015.

Unfortunately, I don't think they are, outside of LiquidHaskell. But LH seems to be actively developed, nevermind the stale blog - last commit to the Github repo was 11 days ago.

Best regards,

Marcin Mrotek