Let-in extraction; dirty implementation of constructor application extraction.