{-# LANGUAGE TemplateHaskell #-}
module Use where

import Define

a :: $typ
a = ()