effect-ts-laws

Law testing using fast-check.