module Refactor.GenerateTypeSignature.BringToScope.B where 

import Refactor.GenerateTypeSignature.BringToScope.A

f :: T -> S
f = const S