Something darkside on implementation of desugaring