module Refactor.GenerateTypeSignature.BringToScope.A where

data T = T
data S = S