restore fun composition refined type, fix for #63