module Refactor.GenerateTypeSignature.Local where

x = () where
  unit :: ()
  unit = ()