ord -package:sbv -package:leancheck -package:cabal-install-solver package:purescript-bridge

Ensure that both Instance and Instance instances are generated for your type.