redFat a (ELet bs e) e'                     = ELet bs (redFat a e e')
redFat a (ELet bs e) e'                     = ELet bs (redFat a e e')
redFat a (ELet bs e) e'                     = ELet bs (redFat a e e')