Single quotes
Module Types Jadification