導来関手とか使わなくない?