Narrowing.curry 17.7 KB