Scalaz(9)- typeclass:checking instance abiding the laws
在前几篇关于Functor和Applilcativetypeclass的讨论中我们自定义了一个类型Configure,Configure类型的定义是这样的:caseclassConfigure[+A](get:A)
objectConfigure{
implicitvalconfigFunctor=newFunctor[Configure]{
defmap[A,B](ca:Configure[A