> There is this Haskell like language with effects based typesystem that might be worth looking at, the name continues to escape me.

Disciple ? (DDC) http://disciple.ouroborus.net/