Make desugaring of map work(!)