(defmodule HelloHelp _ ()) (defdata (List a) (Nil) (Cons a (List a))) (definstance (=> (Show a) (Show (List a))) ((show Nil) "Nil") ((show (Cons car cdr)) (++ "(Cons " (++ (show car) (++ " " (++ (show cdr) ")"))))))