YesNo typeclass