No matches were found for subject:"RE\: inferred type doesn't type\-check \(using type families\)"