prelude の . は Category の . とする。