More advanced terms involving multi parameter type constructors are passing