@Bubbler I guess a nicer way to see it is that your datatype with deriving (Show) gives a way to encode finite instances as finite strings over a finite alphabet.