So those tags are required even when it is not a deriving stream?