append
     :: AnnotatedString a
     -> AnnotatedString b
     -> AnnotatedString (Join a b)