a -> b
                  
                  
                  as = coerce
                  
                  
                  
                  
                  
                  newtype A = A Text
                  
                  
                  
                  
                  
                  as @A "foo"
                  
                  
                  
                  
                  
                  уверен, такой велосипед уже кем-то изобретён и в пакетах есть, можете подсказать?(
                  
                  
                
а coerce @_ @b не хочешь?
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  coerce называется
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  Ну там через улитку надо
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  Буду считать что нет аналогов тогда
это чтобы местами буковки поменять?
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  Обсуждают сегодня