Monomorphising in progress