Implementing a lexer using the Free Monad

Question

I am thinking about a use case of the free monad which would be a simple lexing DSL. So far I came up with some primitive operations:

data LexF r where
  POP  ::