data Data = Data String

func :: Int -> Data -> String
func 1 _ = "one"
func _ (Data s) = s