Property-based tests for FL-compatible ADTs - View it on GitHub