Links for statemonad