implement atom, fork and par
implement bind and >>=