data SList a = Nil | Cons a (SList a) @inline copy (Cons h t) = Cons h (copy t) copy l = l main = "OK" -- OK