Closed k0001 closed 8 years ago
The issue with (?>=) is impredicative polymorsphism. Avoiding flip fixes the error. See http://stackoverflow.com/questions/29712710/polymorphic-flip-fails-in-7-10
flip
This fixes #4
Thanks! :)
The issue with (?>=) is impredicative polymorsphism. Avoiding
flip
fixes the error. See http://stackoverflow.com/questions/29712710/polymorphic-flip-fails-in-7-10