Understanding Types in Ecstasy.