module Refactor.GenerateTypeSignature.Polymorph where

three :: Int
three = 3

four :: Int
four = three + 1