AFAIK I need to compose State, so StateT is right ...
# arrow
i
AFAIK I need to compose State, so StateT is right ?