We should have something akin to Haskell Prelude (possibly with --no-implicit-prelude flag), including dispatch, assignment and operator desugaring.