{-# LANGUAGE Trustworthy #-}

import safe "base" Control.Applicative (Applicative (pure))
import safe "base" Control.Category (Category ((.)))
import safe "base" Data.Function (($))
import safe "base" System.IO (IO)
import qualified "this" Test.Module as Module
import qualified "this" Test.Name as Name

main :: IO ()
main = pure . Module.nonRecDef $ Name.nonRecDef ()