Idrisのパターンマッチ、with,_view