IsA
単子