blog sample: Frege による Applicative サンプル