Add monadic parsing; generalize input type