Applicative constraint is not really needed.