signature Test (val cat Int) (val dog Int) (data (Maybe t) (#nothing) (#just t))