Compile with new GHC TypeNats SOP patch