learning scalaz day1 - a Yes-No typeclass