Get more of monomorphisation routine working.