Calling hcpure f s where s :: h f xs causes f to be applied at all the types that are contained in xs . Therefore, the constraint c has to be satisfied for all ...
確定! 回上一頁