-- Using ghc --make in this module triggers compilation of every library.
module Toplibs () where

import Test.Tasty.LeanCheck ()