Data.Truthful

class Truthful a