Am Freitag, 19. Dezember 2008 02:20 schrieb Daniel Fischer: > For SucParser, > get :: StateT [s] [] [s]. > To wrap it in WithUnit, it would need type > StateT [s] [] (([s],()),[s]) Oops, that should be StateT [s] [] ([s],()), of course.