-- Are plugins loaded in the correct order?
module Main where

main = pure ()