test :: Either a b test = _