module Refactor.GenerateTypeSignature.Complex where app f x = f (Just x)