Agda implementation of the interface of the ‘text’ Haskell package