gistfile1.txt

-- RHS size: {terms: 16, types: 13, coercions: 86, joins: 0/0}                  
frag33                                                                          
frag33                                                                          
  = case frag25 `cast` <Co:8> of { V3 a0_aaD9 a1_aaDa a2_aaDb ->                
    case (\ @ kt_Xair -> W16# 0##) `cast` <Co:78> of { W16# x_aafN ->           
    case x_aafN of {                                                            
      __DEFAULT -> a0_aaD9;                                                     
      1## -> a1_aaDa;                                                           
      2## -> a2_aaDb                                                            
    }                                                                           
    }                                                                           
    }