Was Iavor/Mark's paper ever implemented as a GHC extension?

"Strongly Typed Memory Areas"
http://galois.com/down/2006_ID_Strongly.pdf

--
/jve