temp checkin -- rejigger annots, get proper types for truncates in web/demo/refinements101.hs
temp checkin -- rejigger annots, get proper types for truncates in web/demo/refinements101.hs
cannot really deal with inner-go because of GHC's mega transformations