'a type と 'a + type の違いが分からん.