Boomerang

type TextBoomerang a b

parseText

unparseText

(∘)