ctfp-lab1 Author Cristian Alzate Urrea Operating system Arch Linux x86_64 Kernel: 5.17.6-arch1-1 Stack version used Stack 2.9.1 GHC version used GHC 9.4.2 QuickCheck library version used QuickCheck 2.14.2