Comment by jolux

This is wrong, those variants are value constructors. The type constructor there is “answer,” there’s only one of them.