"program=--+Pretend+that+list+is+not+a+builtin+type%2C+with%0A--+special+syntax%2C+of+the+language.%0A--+Define+your+own+type+list.%0A--+Define+two+functions+on+this+type%2C%0A--+one+to+count+own+many+elements+are+in+a+list%2C%0A--+the+other+to+find+whether+some+element+is+in+a+list.%0A%0Adata+UserList+a+%3D+Nil+%7C+Cons+a+%28UserList+a%29%0A%0Acount+Nil+++++++++%3D+0%0Acount+%28Cons+_+xs%29+%3D+1+%2B+count+xs%0A%0Afind+x+Nil+++++++++%3D+False%0Afind+x+%28Cons+y+ys%29+%3D+x%3D%3Dy+%7C%7C+find+x+ys%0A%0A--+main+%3D+count+%28Cons+1+%28Cons+2+%28Cons+3+Nil%29%29%29++--+-%3E+3%0A--+main+%3D+find+%27a%27+Nil++--+-%3E+False%0Amain+%3D+find+%27a%27+%28Cons+%27x%27+%28Cons+%27a%27+%28Cons+%27y%27+Nil%29%29%29++--+-%3E+True%0A&upload%3Flang=curry" was not found on this server.