test :: a -> Either a b
test = _