One such magic is the "comparable" thing. See http://reasonablypolymorphic.com/blog/elm-is-wrong and https://github.com/elm-lang/elm-compiler/issues/774