Give a better error message when trying to unify rigid type variables in a bad way
Give a better error message when trying to unify rigid type variables in a bad way

laszlopandy/elm-compiler,Axure/elm-compiler,pairyo/elm-compiler,JoeyEremondi/elm-pattern-effects,5outh/Elm,mgold/Elm,deadfoxygrandpa/Elm