It's a shame (Concurrent) Clean did not catch up instead of Haskel. Its uniqueness typing is a concept much easier to grasp than all that monad mumbo jumbo.