checkFunDef': checking injectivity...
Injectivity of ConstructorHeadedPointlessForRecordPatterns.swap would be pointless.
Injectivity of ConstructorHeadedPointlessForRecordPatterns.swap would be pointless.
ConstructorHeadedPointlessForRecordPatterns.agda:27,9-12
Set₁ != Set
when checking that the expression Set has type Set
