Data type and type-synonym declarations can be written infix. ... If you use the flag -fallow-undecidable-instances can use arbitrary types in an instance ...
確定! 回上一頁