Haskellみたいな関数型だと、美少女って、どう表現するの?