corollary
                                
                                
                                
                                    corollary copied to clipboard
                            
                            
                            
                        `const ()`
What is this?
IntMap.fromSet (const ())
                                    
                                    
                                    
                                
Only used once, but it basically means an empty int set. (const returns a function which only returns the bound argument, i.e. ()).
const True and const False are used elsewhere also.