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

import Test.LeanCheck.Instances ()