data Natt = ZZ | SS Natt

data T a = L | N a (T a) (T a)

main x = []