module All
  ( module Test.Framework.Providers.LeanCheck
  )
where

import Test.Framework.Providers.LeanCheck