Результаты поиска по запросу "forall"
При портировании parsec3 на Scala, я, наверное, понимаю ваш вопрос.
оказано ниже, в Haskell можно хранить в списке значения с разнородными типами с определенными контекстными границами на них: data ShowBox = forall s. Show s => ShowBox s heteroList :: [ShowBox] heteroList = [ShowBox (), ShowBox 5, ShowBox ...