TyConsTest.curry 48 Bytes