米田の補題とhaskell