shapeless_and_applicative_functor3.scala

    import SuperExchange._
    import scalaz.std.string._

    import scalaz.syntax.validation._
    import SuperExchange._

    case class SuperExchange(id: ExchangeId, name: Name)

    object SuperExchange {
      type ExchangeId = ExchangeId.Type
      object ExchangeId extends Tagger[String]

      type Name = Name.Type
      object Name extends Tagger[String]
    }