Arguments under type constructors are not forceable!