= Tape (# !Stream, !Word8, !Stream #)
? (я не очень в курсе)
Тогда у Tape будет кайнд не *, так что его ни в иореф ни в стейт не положить будет, даже из IO не вернуть, только если руками State# передовать
там же оно в ньютайп завернуто?
Ньютайп имеет такой же кайнд как и payload
логично, спасибо
тогда просто три аргумента передавать имплицитами
Обсуждают сегодня