rust2fun_laws (cargo): Laws for rust2fun
Keywords: applicative|combinator|functional-programming|functor|monad