No matches were found for subject:"\[GHC\] #5076\: No instance Show \[\: Int \:\] in dph\-diophantine\-opt"