basic example of using TypeClass to deserialise s-expressions to an ADT