-- Copyright 2018 Evan Laforge
-- This program is distributed under the terms of the GNU General Public
-- License 3.0, see COPYING or http://www.gnu.org/licenses/gpl-3.0.txt

module Solkattu.Score.Mridangam2018 where
import Prelude hiding ((.), repeat)

import qualified Solkattu.Tala as Tala

import Solkattu.Dsl.Mridangam


e_323_1 :: Korvai
e_323_1 :: Korvai
e_323_1 = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
3 Int
19 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$
    Text -> Korvai -> Korvai
comment Text
"All these also work with 332 of course." forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations
    [ Sequence -> Sequence -> Sequence
make (forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d)) (forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d))
    , Sequence -> Sequence -> Sequence
make (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)
    , Sequence -> Sequence -> Sequence
make (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , Sequence -> Sequence -> Sequence
make (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) (forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d))
    , Sequence -> Sequence -> Sequence
make (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) (forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d))
    , Sequence -> Sequence -> Sequence
make (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)
    ]
    where
    make :: Sequence -> Sequence -> Sequence
make Sequence
t3 Sequence
t2 = forall a. Monoid a => a -> a
r2 (Sequence
t3forall a. Monoid a => a -> a -> a
.Sequence
t2forall a. Monoid a => a -> a -> a
.Sequence
t3) Stack => Sequence -> Sequence -> Sequence
& Sequence
lh
    lh :: Sequence
lh = forall g sollu. Sequence g sollu -> Sequence g sollu
sd forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__ forall a. Monoid a => a -> a -> a
. forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__

e_323_2 :: Korvai
e_323_2 :: Korvai
e_323_2 = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
4 Int
13 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations
    [ forall a. Monoid a => a -> a
r2 forall a b. (a -> b) -> a -> b
$ Sequence
rh Stack => Sequence -> Sequence -> Sequence
& Sequence
lh1
    , forall a. Monoid a => a -> a
r2 forall a b. (a -> b) -> a -> b
$ Sequence
rh Stack => Sequence -> Sequence -> Sequence
& Sequence
lh2
    ]
    where
    rh :: Sequence
rh = forall a. Monoid a => a -> a
r2 forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    lh1 :: Sequence
lh1 = forall g sollu. Sequence g sollu -> Sequence g sollu
sd forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o
    lh2 :: Sequence
lh2 = forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__

e_18_03_19 :: Korvai
e_18_03_19 :: Korvai
e_18_03_19 = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
3 Int
19 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations
    [ forall a. Monoid a => a -> a
r2 (forall {g}. Sequence g (Note Stroke)
vforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
vforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
p)) forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r2 (forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
vforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
p))
    , forall a. Monoid a => a -> a
r2 (forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.Sequence
ktpk))  forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r2 (forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.Sequence
ktpk))
    ]

e_18_03_28 :: Korvai
e_18_03_28 :: Korvai
e_18_03_28 = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
3 Int
27 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> Sequence -> Korvai
korvaiS1 Tala
Tala.misra_chapu forall a b. (a -> b) -> a -> b
$
     Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__ forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    forall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__ forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k

e_18_05_25 :: Korvai
e_18_05_25 :: Korvai
e_18_05_25 = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
5 Int
25 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations
    [ forall a. Monoid a => a -> a
r3 Sequence
ktkt forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r2 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
uforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , forall a. Monoid a => a -> a
r2 Sequence
ktkt forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r2 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
uforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , forall a. Monoid a => a -> a
r2 Sequence
ktkt forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
uforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
uforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
uforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    ]

tir_18_05_25 :: Korvai
tir_18_05_25 :: Korvai
tir_18_05_25 = Korvai -> Korvai
tirmanam forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
5 Int
25 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> Sequence -> Korvai
korvaiS1 Tala
Tala.misra_chapu forall a b. (a -> b) -> a -> b
$
    forall sollu.
(Stack, Pretty sollu) =>
Tala -> SequenceT sollu -> SequenceT sollu
__sam Tala
Tala.misra_chapu forall a b. (a -> b) -> a -> b
$
        Sequence
ktforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o) (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)

tir_18_06_15 :: Korvai
tir_18_06_15 :: Korvai
tir_18_06_15 = Korvai -> Korvai
tirmanam forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
6 Int
15 forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
Tala.misra_chapu forall a b. (a -> b) -> a -> b
$
    forall sollu. [sollu] -> [Section sollu]
variations
    -- 42424 as 41414
    [ forall g sollu. Sequence g sollu -> Sequence g sollu
sd forall a b. (a -> b) -> a -> b
$ forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ forall {g}. Sequence g (Note Stroke)
od (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)
    , forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) (forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
uforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)

    -- 3x + 2y where x+y = 7, x ends on sam, y = 7 - dur x
    , forall sollu. Stack => Duration -> SequenceT sollu
restD Duration
4   forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ forall a. Rest a => a
__ (Sequence
onforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k))
    , forall sollu. Stack => Duration -> SequenceT sollu
restD Duration
4.5 forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o))
    , forall sollu. Stack => Duration -> SequenceT sollu
restD Duration
5   forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3) (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k))
    , forall sollu. Stack => Duration -> SequenceT sollu
restD Duration
5.5 forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4) (Sequence
onforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k))
    -- with fancy takadinna
    , forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) Sequence
p4
    , forall {sollu}.
Pretty sollu =>
SequenceT sollu
-> SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri2 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) Sequence
p4 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)

    , forall sollu. Stack => Duration -> SequenceT sollu
restD Duration
6 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
pk) Sequence
p4
    , forall sollu. Stack => Duration -> SequenceT sollu
restD Duration
6 forall a. Monoid a => a -> a -> a
. forall {sollu}.
Pretty sollu =>
SequenceT sollu
-> SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri2 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
pk) Sequence
p4 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o)

    , forall sollu. Stack => Duration -> SequenceT sollu
restD Duration
5  forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
pkforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) Sequence
p4
    , forall sollu. Stack => Duration -> SequenceT sollu
restD Duration
5  forall a. Monoid a => a -> a -> a
. forall {sollu}.
Pretty sollu =>
SequenceT sollu
-> SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri2 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
pkforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) Sequence
p4 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4)
    ]
    where
    tri2 :: SequenceT sollu
-> SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri2 SequenceT sollu
karv SequenceT sollu
seq SequenceT sollu
karv2 = SequenceT sollu
seq forall a. Monoid a => a -> a -> a
. SequenceT sollu
karv forall a. Monoid a => a -> a -> a
. SequenceT sollu
seq forall a. Monoid a => a -> a -> a
. SequenceT sollu
karv2
        forall a. Monoid a => a -> a -> a
. forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
rtakeM FMatra
3 SequenceT sollu
seq forall a. Monoid a => a -> a -> a
. SequenceT sollu
karv2 forall a. Monoid a => a -> a -> a
. forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
rtakeM FMatra
3 SequenceT sollu
seq
    p4 :: Sequence
p4 = forall sollu. SequenceT sollu -> SequenceT sollu
group forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k

-- din nakitataka at 140

e_18_06_22 :: Korvai
e_18_06_22 :: Korvai
e_18_06_22 = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
6 Int
22 forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations
    [ Sequence -> Sequence
make (forall g sollu. Sequence g sollu -> Sequence g sollu
su2 (Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k))
    , Sequence -> Sequence
make (forall g sollu. Sequence g sollu -> Sequence g sollu
su2 (Sequence
kookforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__))
    , Sequence -> Sequence
make9 (forall g sollu. Sequence g sollu -> Sequence g sollu
su2 (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
kookforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__))
    , Sequence -> Sequence
make9 (forall g sollu. Sequence g sollu -> Sequence g sollu
su2 (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__))
    , Sequence -> Sequence
make9 (forall g sollu. Sequence g sollu -> Sequence g sollu
su2 (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k))
    -- TODO then 1 2 3 variations

    , Sequence -> Sequence
make3 (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , Sequence -> Sequence
make123 (forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k))

    , Sequence -> Sequence
make3 (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) forall a. Monoid a => a -> a -> a
. Sequence
on forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k))
    , Sequence -> Sequence
make123 (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r2 (Sequence
on forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)))
    , Sequence -> Sequence
make3 (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o)
    ]
    where
    make :: Sequence -> Sequence
make Sequence
p =
          forall g sollu. Sequence g sollu -> Sequence g sollu
sd (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.Sequence
on) forall a. Monoid a => a -> a -> a
. Sequence
p forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.Sequence
on)
          forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
n) forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ forall {g}. Sequence g (Note Stroke)
od Sequence
p
        forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.Sequence
on) forall a. Monoid a => a -> a -> a
. Sequence
p forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.Sequence
on)
          forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
n) forall a. Monoid a => a -> a -> a
. Sequence
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.Sequence
pforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su forall {g}. Sequence g (Note Stroke)
od forall a. Monoid a => a -> a -> a
. forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
rtakeM FMatra
1 Sequence
p forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su forall {g}. Sequence g (Note Stroke)
od
                                         forall a. Monoid a => a -> a -> a
. forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
rtakeM FMatra
1 Sequence
p

    -- TODO I need some kind of start offset to express this naturally
    make9 :: Sequence -> Sequence
make9 Sequence
p =
          forall g sollu. Sequence g sollu -> Sequence g sollu
sd (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
od) forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
shim Sequence
on forall a. Monoid a => a -> a -> a
. Sequence
p forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.Sequence
on)
          forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d) forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
shim forall {g}. Sequence g (Note Stroke)
n forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ Sequence
od3 Sequence
p
        forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
od) forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
shim Sequence
on forall a. Monoid a => a -> a -> a
. Sequence
p forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.Sequence
on)
          forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
sd (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d) forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
shim forall {g}. Sequence g (Note Stroke)
n forall a. Monoid a => a -> a -> a
. Sequence
pforall a. Monoid a => a -> a -> a
.Sequence
od3forall a. Monoid a => a -> a -> a
.Sequence
pforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su forall {g}. Sequence g (Note Stroke)
od forall a. Monoid a => a -> a -> a
. forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
rtakeM FMatra
1 Sequence
p forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su forall {g}. Sequence g (Note Stroke)
od
                                                 forall a. Monoid a => a -> a -> a
. forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
rtakeM FMatra
1 Sequence
p
        where
        shim :: Sequence Group (Note sollu) -> Sequence Group (Note sollu)
shim Sequence Group (Note sollu)
s = Sequence Group (Note sollu)
s forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su2 forall sollu. SequenceT sollu
__4
        od3 :: Sequence
od3 = forall g sollu. Sequence g sollu -> Sequence g sollu
su forall {g}. Sequence g (Note Stroke)
od forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su2 forall a. Rest a => a
__

    make3 :: Sequence -> Sequence
make3 Sequence
p = forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6 forall a b. (a -> b) -> a -> b
$
          forall sollu. SequenceT sollu -> SequenceT sollu
s3 (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
od) forall a. Monoid a => a -> a -> a
. forall {g} {sollu}.
Rest (Sequence g sollu) =>
Sequence g sollu -> Sequence g sollu
shim Sequence
on forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
p forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
s3 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.Sequence
on)
        forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
s3 (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d) forall a. Monoid a => a -> a -> a
. forall {g} {sollu}.
Rest (Sequence g sollu) =>
Sequence g sollu -> Sequence g sollu
shim forall {g}. Sequence g (Note Stroke)
n forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ forall {g}. Sequence g (Note Stroke)
od (forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
p)
        where
        s3 :: SequenceT sollu -> SequenceT sollu
s3 = forall sollu. Int -> SequenceT sollu -> SequenceT sollu
spread Int
3
        shim :: Sequence g sollu -> Sequence g sollu
shim Sequence g sollu
s = Sequence g sollu
sforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a. Rest a => a
__

    -- 123 variant for tisram
    make123 :: Sequence -> Sequence
make123 Sequence
p123 = forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6 forall a b. (a -> b) -> a -> b
$
          forall sollu. SequenceT sollu -> SequenceT sollu
s3 (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
od) forall a. Monoid a => a -> a -> a
. forall {g} {sollu}.
Rest (Sequence g sollu) =>
Sequence g sollu -> Sequence g sollu
shim Sequence
on forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
takeM FMatra
7 Sequence
p123) forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
s3 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.Sequence
on)
        forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
s3 (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d) forall a. Monoid a => a -> a -> a
. forall {g} {sollu}.
Rest (Sequence g sollu) =>
Sequence g sollu -> Sequence g sollu
shim forall {g}. Sequence g (Note Stroke)
n forall a. Monoid a => a -> a -> a
. Sequence
expand
        where
        s3 :: SequenceT sollu -> SequenceT sollu
s3 = forall sollu. Int -> SequenceT sollu -> SequenceT sollu
spread Int
3
        shim :: Sequence g sollu -> Sequence g sollu
shim Sequence g sollu
s = Sequence g sollu
sforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a. Rest a => a
__
        expand :: Sequence
expand = forall sollu.
SequenceT sollu -> [SequenceT sollu] -> SequenceT sollu
join forall {g}. Sequence g (Note Stroke)
od
            [ forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
takeM FMatra
2 (forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
p123)
            , forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
takeM FMatra
3.5 (forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
p123)
            , forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
p123
            ]

c_18_07_02_sarva :: Korvai
c_18_07_02_sarva :: Korvai
c_18_07_02_sarva = Korvai -> Korvai
sudhindra forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
Tala.misra_chapu forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations
    [ forall g sollu. Sequence g sollu -> Sequence g sollu
sd forall a b. (a -> b) -> a -> b
$ Sequence
sarva Stack => Sequence -> Sequence -> Sequence
& (forall {g}. Sequence g (Note Stroke)
o forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)
         forall a. Monoid a => a -> a -> a
. Sequence
sarva Stack => Sequence -> Sequence -> Sequence
& (forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)
         forall a. Monoid a => a -> a -> a
. Sequence
sarva Stack => Sequence -> Sequence -> Sequence
& (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall sollu. Int -> SequenceT sollu
__n Int
14)
         forall a. Monoid a => a -> a -> a
. Sequence
sarva
    ]
    where sarva :: Sequence
sarva = forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__

e_misra_tisram :: Korvai
e_misra_tisram :: Korvai
e_misra_tisram = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
9 Int
11 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$
    Tala -> [Section] -> Korvai
korvai Tala
Tala.misra_chapu forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations forall a b. (a -> b) -> a -> b
$ forall a b. (a -> b) -> [a] -> [b]
map forall g sollu. Sequence g sollu -> Sequence g sollu
sd forall a b. (a -> b) -> a -> b
$ forall a b. (a -> b) -> [a] -> [b]
map (forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6)
    [ forall a. Monoid a => a -> a
r5 (Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) forall a. Monoid a => a -> a -> a
. Sequence
tkforall a. Monoid a => a -> a -> a
.Sequence
kook
    , forall a. Monoid a => a -> a
r5 forall {g}. Sequence g (Note Stroke)
ndk forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    , (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
p) Stack => Sequence -> Sequence -> Sequence
& forall a. Monoid a => a -> a
r5 forall {g}. Sequence g (Note Stroke)
ndk forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    , forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& forall {g}. Sequence g (Note Stroke)
ndk forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
p) Stack => Sequence -> Sequence -> Sequence
& forall a. Monoid a => a -> a
r2 forall {g}. Sequence g (Note Stroke)
ndk forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    , forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& forall {g}. Sequence g (Note Stroke)
ndk forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r2 (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
oStack => Sequence -> Sequence -> Sequence
&Sequence
nang_kita
    , forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& forall a. Monoid a => a -> a
r5 forall {g}. Sequence g (Note Stroke)
ndk forall a. Monoid a => a -> a -> a
. Sequence
nang_kita
    , forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& forall {g}. Sequence g (Note Stroke)
ndk forall a. Monoid a => a -> a -> a
. Sequence
nang_kita forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& forall a. Monoid a => a -> a
r2 forall {g}. Sequence g (Note Stroke)
ndk forall a. Monoid a => a -> a -> a
. Sequence
nang_kita
    , forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& forall {g}. Sequence g (Note Stroke)
ndk forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 Sequence
nang_kita
    , forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
pk) forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 Sequence
nang_kita
    , forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
pk) forall a. Monoid a => a -> a -> a
. Sequence
nang_kita forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r2 (forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
pk)) forall a. Monoid a => a -> a -> a
. Sequence
nang_kita
    ]
    where
    nang_kita :: Sequence
nang_kita = forall {g}. Sequence g (Note Stroke)
n forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
pkforall a. Monoid a => a -> a -> a
.Sequence
nakatiku)
    ndk :: Sequence g (Note Stroke)
ndk = forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k

e_18_11_12 :: Korvai
e_18_11_12 :: Korvai
e_18_11_12 = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
11 Int
12 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
Tala.misra_chapu forall a b. (a -> b) -> a -> b
$
    forall sollu. [sollu] -> [Section sollu]
variations
    [ Sequence
kookforall a. Monoid a => a -> a -> a
.forall sollu. Stack => Duration -> SequenceT sollu
sarvaD_ Duration
6 forall a. Monoid a => a -> a -> a
. Sequence
kookforall a. Monoid a => a -> a -> a
.forall sollu. Stack => Duration -> SequenceT sollu
sarvaD_ Duration
6
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ Sequence
kookforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4 forall a. Monoid a => a -> a -> a
. Sequence
kookforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r2 (Sequence
kookforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r2 (Sequence
kookforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r2 (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
kook)
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r3 forall {g}. Sequence g (Note Stroke)
okko forall a. Monoid a => a -> a -> a
. Sequence
kook
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r2 forall {g}. Sequence g (Note Stroke)
okko forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r2 Sequence
kook
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ Sequence
kookforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
okkoforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
okkoforall a. Monoid a => a -> a -> a
.Sequence
kook
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r2 (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
kookforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
okkoforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
kookforall a. Monoid a => a -> a -> a
.Sequence
kook
    , Sequence -> Sequence
pattern1 forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
okkoforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
kookforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    ]
    where
    pattern1 :: Sequence -> Sequence
pattern1 Sequence
mid = Sequence
kookforall a. Monoid a => a -> a -> a
.forall sollu. Stack => Duration -> SequenceT sollu
sarvaD_ Duration
2 forall a. Monoid a => a -> a -> a
. Sequence
mid forall a. Monoid a => a -> a -> a
. Sequence
kookforall a. Monoid a => a -> a -> a
.forall sollu. Stack => Duration -> SequenceT sollu
sarvaD_ Duration
6
    okko :: Sequence g (Note Stroke)
okko = forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o

e_18_11_19 :: Korvai
e_18_11_19 :: Korvai
e_18_11_19 = Korvai -> Korvai
sarvalaghu forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
11 Int
19 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations
    [ forall a. Monoid a => a -> a
r4 forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d
    , forall a. Monoid a => a -> a
r4 forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
l)forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d
    , forall a. Monoid a => a -> a
r4 forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
l)forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
l)
    , forall a. Monoid a => a -> a
r4 forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
l)forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
l)
    , forall a. Monoid a => a -> a
r2 forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r3 (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
l) forall a. Monoid a => a -> a -> a
. (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
jforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
y)
    , forall a. Monoid a => a -> a
r4 forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
jforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
l
    , forall a. Monoid a => a -> a
r4 forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
jforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
l
    , forall a. Monoid a => a -> a
r4 forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
jforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
jforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
l
    ]

e_18_12_08 :: Korvai
e_18_12_08 :: Korvai
e_18_12_08 = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
12 Int
8 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations
    [ forall a. Monoid a => a -> a
r3 (forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) forall a. Monoid a => a -> a -> a
. Sequence
end
    , forall a. Monoid a => a -> a
r3 (forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) forall a. Monoid a => a -> a -> a
. Sequence
end
    , forall a. Monoid a => a -> a
r3 (forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) forall a. Monoid a => a -> a -> a
. Sequence
end
    , forall a. Monoid a => a -> a
r3 (forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k) forall a. Monoid a => a -> a -> a
. Sequence
end
    ]
    where end :: Sequence
end = forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
uforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k

e_18_12_08_b :: Korvai
e_18_12_08_b :: Korvai
e_18_12_08_b = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
12 Int
8 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations
    [forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6 forall a b. (a -> b) -> a -> b
$ Sequence
aforall a. Monoid a => a -> a -> a
.Sequence
bforall a. Monoid a => a -> a -> a
.Sequence
aforall a. Monoid a => a -> a -> a
.Sequence
bforall a. Monoid a => a -> a -> a
.Sequence
aforall a. Monoid a => a -> a -> a
.Sequence
bforall a. Monoid a => a -> a -> a
.Sequence
a]
    where
    a :: Sequence
a = forall sollu. SequenceT sollu -> SequenceT sollu
group forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    b :: Sequence
b = forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
uforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
nakatiku

p5_variations :: Korvai
p5_variations :: Korvai
p5_variations = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations forall a b. (a -> b) -> a -> b
$
    forall a b. (a -> b) -> [a] -> [b]
map (forall g sollu. Sequence g sollu -> Sequence g sollu
sd forall b c a. (b -> c) -> (a -> b) -> a -> c
• forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
5 forall b c a. (b -> c) -> (a -> b) -> a -> c
• forall a. Monoid a => a -> a
r4)
    [ forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o
    , forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o
    , forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
n)forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o
    , forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o
    , forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__
    , forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__
    , forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
uforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__
    , forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o
    , forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o
    ]

exercises_18_12_19 :: Score
exercises_18_12_19 :: Score
exercises_18_12_19 = [Part Korvai] -> Score
tani
    [ forall k. k -> Part k
K Korvai
e_npkt -- 80mm, push to 90 or 100
    , forall k. k -> Part k
K Korvai
e_18_11_19 -- TODO (Index 5) --  n.j.p.j.d.__ -- 60mm, go to 80 or 90
    , forall k. k -> Part k
K Korvai
e_18_12_19
    , forall k. k -> Part k
K Korvai
p5_variations -- 120mm to 160mm
    -- , Left $ r2 (k.o.o.k.o.k) . k.o.o.k -- 120mm to 140
    ]

e_npkt :: Korvai
e_npkt :: Korvai
e_npkt = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> Sequence -> Korvai
korvaiS1 Tala
adi forall a b. (a -> b) -> a -> b
$
    forall a. Monoid a => a -> a
r2 forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r2 (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri (forall {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
pforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)) forall a. Monoid a => a -> a -> a
. Sequence
nakatiku

e_18_12_19 :: Korvai -- 65mm, to 85mm
e_18_12_19 :: Korvai
e_18_12_19 = Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2018 Int
12 Int
19 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi forall a b. (a -> b) -> a -> b
$ forall sollu. [sollu] -> [Section sollu]
variations
    [ forall a. Monoid a => a -> a
r4 forall a b. (a -> b) -> a -> b
$ (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o) Stack => Sequence -> Sequence -> Sequence
& (forall {g}. Sequence g (Note Stroke)
rhforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
rh) forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
rh forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , forall a. Monoid a => a -> a
r8 forall a b. (a -> b) -> a -> b
$ (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o) Stack => Sequence -> Sequence -> Sequence
& forall {g}. Sequence g (Note Stroke)
rh forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , forall a. Monoid a => a -> a
r4 forall a b. (a -> b) -> a -> b
$ (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o) Stack => Sequence -> Sequence -> Sequence
& Sequence
rh2 forall a. Monoid a => a -> a -> a
. Sequence
rh2 forall a. Monoid a => a -> a -> a
. Sequence
rh2 forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    , forall a. Monoid a => a -> a
r8 forall a b. (a -> b) -> a -> b
$ (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o) Stack => Sequence -> Sequence -> Sequence
& Sequence
rh2 forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k)
    ]
    where
    rh :: Sequence g (Note Stroke)
rh = forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
lforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d
    rh2 :: Sequence
rh2 = forall {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
pk)