違うだろw

入力 : Maybe a
出力 : (a -> Maybe b) -> Maybe b