module Refactor.GenerateTypeSignature.Polymorph where

three = 3

four :: Int
four = three + 1