genBinds top_level e bind' lie lve sig_info `thenTc` \ (binds', lie, lve) ->
-- Add bindings corresponding to SPECIALIZE pragmas in the code
genBinds top_level e bind' lie lve sig_info `thenTc` \ (binds', lie, lve) ->
-- Add bindings corresponding to SPECIALIZE pragmas in the code