effect-ts law testing using fast-check.
github.com/middle-ages/effect-ts-laws
middle-ages/effect-ts-laws