Haskel l- funktori, monade