тип результата
                  
                  
                  --            ↓
                  
                  
                  data Reader r a = R (r -> a)
                  
                  
                  --          ↑
                  
                  
                  --  тип неявной зависимости
                  
                  
                  
                  
                  
                  то есть в данном определении структуры данных мы явно указываем её поведение в отличие, к примеру, от data List a , где поведение происходит из конструкции самой структуры? и есть ли категоризация структур по данному признаку, потому что я только к концу курса понял, почему тип в инстансах условно каррированный
                  
                  
                
поведение не всегда происходит из самой структуры. для списка, например, можно определить разные инстансы Applicative. для Reader не уверен, можно ли. а поведение instance Functor у всех следует из структуры, тоже не поделить никак.
Обсуждают сегодня