>>= は重複してるから >>- に、 <$> は言語仕様上の制約で <^> になってる。