-- Copyright 2019 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.Mridangam2019 where
import Prelude hiding ((.), repeat)
import Solkattu.Dsl.Mridangam


e_naka :: Korvai
e_naka :: Korvai
e_naka = Korvai -> Korvai
sarvalaghu forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
3 Int
14 forall a b. (a -> b) -> a -> b
$ Tala -> Sequence -> Korvai
korvaiS1 Tala
adi 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 {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
.Sequence
onforall 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)
o Stack => Sequence -> Sequence -> Sequence
& 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
.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 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)
k)

e_19_03_20 :: Korvai
e_19_03_20 :: Korvai
e_19_03_20 = Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
3 Int
20 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
sarvalaghu forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi forall a b. (a -> b) -> a -> b
$
    [ Sequence
t1 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri Sequence
t2
    , Sequence
t1 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri Sequence
t2_tis
    -- 4 on 5, frequently done by Raghu Sir.
    , Int -> Sequence
nadinga Int
3
    , forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
5 forall a b. (a -> b) -> a -> b
$ Int -> Sequence
nadinga Int
4
    , forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6 forall a b. (a -> b) -> a -> b
$ Int -> Sequence
nadinga Int
5
    -- chatusram to kandam: +4 beats at the end so 16 -> 20.
    , forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
5 forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r2 forall a b. (a -> b) -> a -> b
$ Sequence
t1 forall a. Monoid a => a -> a -> a
. Sequence
t2 forall 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
__
    ]
    where
    t1 :: Sequence
t1 = Sequence
onforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3forall 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
    t2 :: Sequence
t2 = Sequence
onforall 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)
pStack => Sequence -> Sequence -> Sequence
&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
    t2_tis :: Sequence
t2_tis = forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6 (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
.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)
pStack => Sequence -> Sequence -> Sequence
&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
    nadinga :: Int -> Sequence
nadinga Int
times =
        forall a. Monoid a => Int -> a -> a
repeat Int
times (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
__forall 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 {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
onforall 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
. forall a. Monoid a => Int -> a -> a
repeat (Int
timesforall a. Num a => a -> a -> a
-Int
1) (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
__forall 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 {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

e_19_04_01 :: Korvai
e_19_04_01 :: Korvai
e_19_04_01 = Korvai -> Korvai
sarvalaghu forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
4 Int
1 forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi forall a b. (a -> b) -> a -> b
$ forall a b. (a -> b) -> [a] -> [b]
map forall a. a -> Section a
section
    [ 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
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
ookook 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 {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
ookook 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. [a] -> [a] -> [a]
++ forall a b. (a -> b) -> [a] -> [b]
map (forall sollu. Duration -> Section sollu -> Section sollu
startOn (Duration
1forall a. Fractional a => a -> a -> a
/Duration
2) forall b c a. (b -> c) -> (a -> b) -> a -> c
• forall sollu. Duration -> Section sollu -> Section sollu
endOn (Duration
1forall a. Fractional a => a -> a -> a
/Duration
2) forall b c a. (b -> c) -> (a -> b) -> a -> c
• forall a. a -> Section a
section)
    [ Sequence
initial forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
ookook 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)
od)forall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
ookook
    , Sequence
initial 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}. Sequence g (Note Stroke)
ookook
    , Sequence
initial forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ forall a. Rest a => a
__ forall {g}. Sequence g (Note Stroke)
ookook
    , Sequence
initial forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri123 forall {g}. Sequence g (Note Stroke)
od forall {g}. Sequence g (Note Stroke)
ook
    , Sequence
initial forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri123 forall a. Rest a => a
__ forall {g}. Sequence g (Note Stroke)
ook
    , Sequence
initial forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 forall {g}. Sequence g (Note Stroke)
ookforall 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 a. Monoid a => a -> a
r4 forall {g}. Sequence g (Note Stroke)
ook
    , Sequence
initial forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 forall {g}. Sequence g (Note Stroke)
ookforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall a. Monoid a => a -> a
r4 forall {g}. Sequence g (Note Stroke)
ook
    -- 4+5+6+7
    -- because: 62626 = 22 -> 2*11 -> 2 * (5+6) -> 4+7 + 5+6 -> 4567
    , Sequence
initial forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su (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 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 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 {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 {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)

    , Sequence
initial6 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ forall {g}. Sequence g (Note Stroke)
od Sequence
ook3
    , Sequence
initial6 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6 forall {g}. Sequence g (Note Stroke)
ook) Sequence
ook3
    -- 939393 = 33, so 3*11 -> 345678
    , Sequence
initial6 forall a. Monoid a => a -> a -> a
. forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6 (forall g sollu. Sequence g sollu -> Sequence g sollu
su (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 {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 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 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 {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 {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 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)
kforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__))
    ]
    where
    ookook :: Sequence g (Note Stroke)
ookook = forall g sollu. Sequence g sollu -> Sequence g sollu
su (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)
    initial :: Sequence
initial = 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)
od)forall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
ookook 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)
od)forall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
ookook
        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)
od)forall a. Monoid a => a -> a -> a
.Sequence
on
    initial6 :: Sequence
initial6 = 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)
od)forall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.Sequence
ook3 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)
od)forall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
. Sequence
ook3
        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)
od)forall a. Monoid a => a -> a -> a
.Sequence
on
    ook3 :: Sequence
ook3 = forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6 (forall sollu. SequenceT sollu -> SequenceT sollu
tri forall {g}. Sequence g (Note Stroke)
ook)
    ook :: Sequence g (Note Stroke)
ook = forall g sollu. Sequence g sollu -> Sequence g sollu
su 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)
k
    -- Quick way to get arithmetic progressions:
    -- Factor into low and high.  The low factor is the number of pairs,
    -- (floor (high/2), ceiling (high/2)) is the mid pair, and expand from
    -- there.

e_19_04_15 :: Korvai
e_19_04_15 :: Korvai
e_19_04_15 = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
4 Int
15 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$
    Text -> Korvai -> Korvai
comment Text
"practice left hand independance" forall a b. (a -> b) -> a -> b
$
    Tala -> [Sequence] -> Korvai
korvaiS Tala
adi
    [ forall {g}. Sequence g (Note Stroke)
rh
    , forall {g}. Sequence g (Note Stroke)
rh Stack => Sequence -> Sequence -> Sequence
& forall a. Monoid a => a -> a
r4 (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4)
    , forall {g}. Sequence g (Note Stroke)
rh Stack => Sequence -> Sequence -> Sequence
& forall a. Monoid a => a -> a
r7 (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)
    , forall {g}. Sequence g (Note Stroke)
rh Stack => Sequence -> Sequence -> Sequence
& (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 a. Monoid a => a -> a
r5 (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__))
    , forall {g}. Sequence g (Note Stroke)
rh Stack => Sequence -> Sequence -> Sequence
& (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 {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3forall 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 a. Rest a => a
__))
    , forall {g}. Sequence g (Note Stroke)
rh Stack => Sequence -> Sequence -> Sequence
& Stack => String -> Sequence
strM String
"o_oo_oo_oo_oo"
    ]
    where
    rh :: Sequence g (Note Stroke)
rh = forall a. Monoid a => a -> a
r8 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 {g}. Sequence g (Note Stroke)
tforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k

e_19_05_06_a :: Korvai
e_19_05_06_a :: Korvai
e_19_05_06_a = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
5 Int
6 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Text -> Korvai -> Korvai
comment Text
"leads to e_19_05_06" forall a b. (a -> b) -> a -> b
$
    Tala -> [Sequence] -> Korvai
korvaiS Tala
adi 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 sollu. SequenceT sollu -> SequenceT sollu
group Sequence
t1 forall a. Monoid a => a -> a -> a
. Sequence -> Sequence
alt Sequence
t1 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri (forall {g}. Sequence g (Note Stroke)
pforall 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)
d)
    , forall sollu. SequenceT sollu -> SequenceT sollu
group Sequence
t1 forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 (Sequence -> Sequence
alt Sequence
t1)
        forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 (Sequence -> Sequence
alt (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}. Sequence g (Note Stroke)
yforall 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)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__))
        forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 (Sequence -> Sequence
alt (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}. Sequence g (Note Stroke)
yforall 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
. forall a. Monoid a => a -> a
r3 (Sequence -> Sequence
alt (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}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d))
    ]
    where
    t1 :: Sequence
t1 = 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}. Sequence g (Note Stroke)
yforall 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)
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 {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__
    alt :: Sequence -> Sequence
alt Sequence
seq = forall sollu. SequenceT sollu -> SequenceT sollu
group Sequence
seq forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
group (forall sollu.
(Stack, Pretty sollu) =>
SequenceT sollu -> SequenceT sollu -> SequenceT sollu
replaceStart forall {g}. Sequence g (Note Stroke)
p (Sequence -> Sequence
noThom Sequence
seq))

e_19_05_06_b :: Korvai
e_19_05_06_b :: Korvai
e_19_05_06_b = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
5 Int
6 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Text -> Korvai -> Korvai
comment Text
"tisram, built on 7s and 5s" forall a b. (a -> b) -> a -> b
$
    Tala -> [Sequence] -> Korvai
korvaiS Tala
adi 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)
    [ Sequence
p1 forall a. Monoid a => a -> a -> a
. Sequence
p2 forall a. Monoid a => a -> a -> a
. Sequence
p3 forall a. Monoid a => a -> a -> a
. Sequence
p4
    , forall a. Monoid a => a -> a
r3 Sequence
p1 forall a. Monoid a => a -> a -> a
. Sequence
a7forall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
a5
      forall a. Monoid a => a -> a -> a
. Sequence
p1 forall a. Monoid a => a -> a -> a
. Sequence
a7forall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
a5 forall a. Monoid a => a -> a -> a
. Sequence
p3 forall a. Monoid a => a -> a -> a
. Sequence
a7forall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
a5
      forall a. Monoid a => a -> a -> a
. Sequence
p1 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri Sequence
a7 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri forall sollu. SequenceT sollu
a5
    , forall a. Monoid a => a -> a
r3 Sequence
p1 forall a. Monoid a => a -> a -> a
. Sequence
b7forall a. Monoid a => a -> a -> a
.Sequence
b5
      forall a. Monoid a => a -> a -> a
. Sequence
p1' forall a. Monoid a => a -> a -> a
. Sequence
b7forall a. Monoid a => a -> a -> a
.Sequence
b5 forall a. Monoid a => a -> a -> a
. Sequence
p1' forall a. Monoid a => a -> a -> a
. Sequence
b7forall a. Monoid a => a -> a -> a
.Sequence
b5
      forall a. Monoid a => a -> a -> a
. Sequence
p1' forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri Sequence
b7 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri Sequence
b5
    , Sequence
t7forall a. Monoid a => a -> a -> a
.Sequence
t5eforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3 forall a. Monoid a => a -> a -> a
. Sequence
p3_forall a. Monoid a => a -> a -> a
.Sequence
t5eforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3
        forall a. Monoid a => a -> a -> a
. Sequence
t7forall a. Monoid a => a -> a -> a
.Sequence
t5e forall a. Monoid a => a -> a -> a
. Sequence
p3_forall a. Monoid a => a -> a -> a
.Sequence
t5eforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3
        forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
iforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3) (forall sollu. SequenceT sollu
p5forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
p5)
    ]
    where
    p1 :: Sequence
p1 = Sequence
t7forall a. Monoid a => a -> a -> a
.Sequence
t5
    p1' :: Sequence
p1' = 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)
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 a. Rest a => a
__ forall a. Monoid a => a -> a -> a
. Sequence
t5
    p2 :: Sequence
p2 = 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)
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 a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
t5
    p3 :: Sequence
p3 = Sequence
p3_forall a. Monoid a => a -> a -> a
.Sequence
t5
    p3_ :: Sequence
p3_ = 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 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 a. Rest a => a
__
    p4 :: Sequence
p4 = 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)
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)
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 a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
t5

    a7 :: Sequence
a7 = forall sollu. SequenceT sollu -> SequenceT sollu
group forall a b. (a -> b) -> a -> b
$ Sequence
kpforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
p5
    a5 :: SequenceT sollu
a5 = forall sollu. SequenceT sollu -> SequenceT sollu
group forall a b. (a -> b) -> a -> b
$ forall sollu. SequenceT sollu
p5
    b7 :: Sequence
b7 = forall sollu. SequenceT sollu -> SequenceT sollu
group 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
.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
    b5 :: Sequence
b5 = forall sollu. SequenceT sollu -> SequenceT sollu
group 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)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    t7 :: Sequence
t7 = 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 a. Rest a => a
__
    t5 :: Sequence
t5 = 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)
nforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__
    t5e :: Sequence
t5e = 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)
nforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o

-- TODO I already did this one, find it
e_19_05_20a :: Korvai
e_19_05_20a :: Korvai
e_19_05_20a = Sequence -> Korvai
make_nakadit_talang_ga (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
pkforall 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))

e_19_05_20b :: Korvai
e_19_05_20b :: Korvai
e_19_05_20b = Sequence -> Korvai
make_nakadit_talang_ga (forall {g}. Sequence g (Note Stroke)
oforall 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)
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))

e_19_05_20b2 :: Korvai
e_19_05_20b2 :: Korvai
e_19_05_20b2 = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
5 Int
20 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi
    [ Duration -> Sequence
sarva Duration
8
    , Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
7
    , Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3
    , Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
1 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
1 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3
    , Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
1 forall a. Monoid a => a -> a -> a
. Sequence
t2 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
1 forall a. Monoid a => a -> a -> a
. Sequence
t2 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3
    , Sequence
o_kokook forall a. Monoid a => a -> a -> a
. Sequence
ookokook forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
1 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3
    , Sequence
o_kokook forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 Sequence
ookokook forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3
    , Sequence
o_kokook forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r4 Sequence
ookokook forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r4 (forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall sollu. SequenceT sollu -> SequenceT sollu
group 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
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
o)
    ]
    where
    ookokook :: Sequence
ookokook = forall sollu. SequenceT sollu -> SequenceT sollu
group 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)
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)
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
    o_kokook :: Sequence
o_kokook = forall sollu. SequenceT sollu -> SequenceT sollu
group 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)
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)
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
    t1_ :: Sequence g (Note Stroke)
t1_ = forall {g}. Sequence g (Note Stroke)
oforall 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)
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)
    t2 :: Sequence
t2 = forall sollu. SequenceT sollu -> SequenceT sollu
group forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
su (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)
o) forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
od
    t1 :: Sequence
t1 = forall sollu. SequenceT sollu -> SequenceT sollu
group forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
t1_ forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
od
    sarva :: Duration -> Sequence
sarva = forall sollu.
Stack =>
SequenceT sollu -> Duration -> SequenceT sollu
sarvaD Sequence
sarvaStrokes
    sarvaStrokes :: Sequence
sarvaStrokes = let lh :: Sequence
lh = 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)
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)
dforall 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)
l forall 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)
dforall 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)
l
        in Sequence
lh Stack => Sequence -> Sequence -> Sequence
& Stack => String -> Sequence
strM String
"o_oo_oo_o_oo_oo_" forall a. Monoid a => a -> a -> a
. Sequence
lh Stack => Sequence -> Sequence -> Sequence
& forall {g}. Sequence g (Note Stroke)
o

e_19_05_20c :: Korvai
e_19_05_20c :: Korvai
e_19_05_20c = Sequence -> Korvai
make_nakadit_talang_ga (forall g sollu. Sequence g sollu -> Sequence g sollu
su 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)
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)
yforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)

make_nakadit_talang_ga :: Sequence -> Korvai
make_nakadit_talang_ga :: Sequence -> Korvai
make_nakadit_talang_ga Sequence
t1_ = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
5 Int
20 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi
    [ Duration -> Sequence
sarva Duration
8
    , Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
7
    , Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3
    , Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
1 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
1 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3
    , forall sollu. SequenceT sollu -> SequenceT sollu
tri (Sequence
t1forall 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
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3
    , Sequence
t1forall 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
t1forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
t1forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__ forall a. Monoid a => a -> a -> a
.Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3
    , forall sollu. SequenceT sollu -> SequenceT sollu
tri forall a b. (a -> b) -> a -> b
$ forall sollu. SequenceT sollu -> SequenceT sollu
tri (Sequence
t1forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ forall a. Rest a => a
__ forall sollu. SequenceT sollu
p5
    , Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3 forall a. Monoid a => a -> a -> a
. Sequence
t1'forall a. Monoid a => a -> a -> a
.Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
2.25
    , forall a. Monoid a => a -> a
r2 forall a b. (a -> b) -> a -> b
$ Sequence
t1'forall a. Monoid a => a -> a -> a
.Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
2.25
    , Sequence
t1'forall a. Monoid a => a -> a -> a
.Sequence
t1forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
1 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3
    , Sequence
t1x3 forall a. Monoid a => a -> a -> a
. Int -> Sequence
talang Int
1 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. Duration -> Sequence
sarva Duration
3
    , forall sollu.
SequenceT sollu
-> SequenceT sollu
-> SequenceT sollu
-> SequenceT sollu
-> SequenceT sollu
trin (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) (Sequence
t1x3 forall a. Monoid a => a -> a -> a
. Int -> Sequence
talang Int
1) (Sequence
t1x3 forall a. Monoid a => a -> a -> a
. Int -> Sequence
talang Int
2) (Sequence
t1x3 forall a. Monoid a => a -> a -> a
. Int -> Sequence
talang Int
3)
    ]
    where
    t1 :: Sequence
t1 = forall sollu. SequenceT sollu -> SequenceT sollu
group forall a b. (a -> b) -> a -> b
$ Sequence
t1_ forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
od
    t1' :: Sequence
t1' = forall sollu. SequenceT sollu -> SequenceT sollu
group Sequence
t1_
    t1x3 :: Sequence
t1x3 = Sequence
t1'forall a. Monoid a => a -> a -> a
.Sequence
t1forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
kforall a. Monoid a => a -> a -> a
.Sequence
t1'
    talang :: Int -> Sequence
talang Int
times = forall sollu. SequenceT sollu -> SequenceT sollu
group 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)
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 => Int -> a -> a
repeat Int
times (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)
    sarva :: Duration -> Sequence
sarva = forall sollu.
Stack =>
SequenceT sollu -> Duration -> SequenceT sollu
sarvaD Sequence
sarvaStrokes
    sarvaStrokes :: Sequence
sarvaStrokes = let lh :: Sequence
lh = 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)
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)
dforall 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)
l forall 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)
dforall 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)
l
        in Sequence
lh Stack => Sequence -> Sequence -> Sequence
& Stack => String -> Sequence
strM String
"o_oo_oo_o_oo_oo_" forall a. Monoid a => a -> a -> a
. Sequence
lh Stack => Sequence -> Sequence -> Sequence
& forall {g}. Sequence g (Note Stroke)
o

e_5x4_4x3 :: Korvai
e_5x4_4x3 :: Korvai
e_5x4_4x3 = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
6 Int
3 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi
    [ forall {sollu}.
SequenceT sollu
-> SequenceT sollu -> SequenceT sollu -> SequenceT sollu
make (forall g sollu. Sequence g sollu -> Sequence g sollu
su (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)
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 g sollu. Sequence g sollu -> Sequence g sollu
su (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)
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 g sollu. Sequence g sollu -> Sequence g sollu
su (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 {g}. Sequence g (Note Stroke)
o))
    , forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
make1  (Sequence
onforall 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)
odforall 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)
odforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
l) (Sequence
onforall 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)
odforall 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)
    , let nd_kpd :: Sequence
nd_kpd = Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
kp forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
d in
        forall {sollu}.
SequenceT sollu
-> SequenceT sollu -> SequenceT sollu -> SequenceT sollu
make (Sequence
onforall 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 (Sequence
onforall 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)
y) forall a. Monoid a => a -> a -> a
. Sequence
nd_kpd)
             (forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
onforall 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)
yforall a. Monoid a => a -> a -> a
.Sequence
ojforall 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)
y)forall a. Monoid a => a -> a -> a
. Sequence
nd_kpd)
                      (forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
onforall 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)
y)forall a. Monoid a => a -> a -> a
. Sequence
nd_kpd)
    , forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
make1 (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)
yforall 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 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)
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)
y)
        (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 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)
y)
    , forall {sollu}.
SequenceT sollu
-> SequenceT sollu -> SequenceT sollu -> SequenceT sollu
make (Stack => String -> Sequence
strM String
"n_ndnynd" Stack => Sequence -> Sequence -> Sequence
& Stack => String -> Sequence
strM String
"o_oo_oo_")
        (Stack => String -> Sequence
strM String
"nyndnynd" Stack => Sequence -> Sequence -> Sequence
& Stack => String -> Sequence
strM String
"o_oo_oo_") (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall 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)
l)
    , forall {sollu}.
SequenceT sollu
-> SequenceT sollu -> SequenceT sollu -> SequenceT sollu
make (Stack => String -> Sequence
strM String
"n_ndnynd" Stack => Sequence -> Sequence -> Sequence
& Stack => String -> Sequence
strM String
"o_oo_oo_")
        (Stack => String -> Sequence
strM String
"nyndnynd" Stack => Sequence -> Sequence -> Sequence
& Stack => String -> Sequence
strM String
"oooo_oo_") (Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
yforall 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)
l)
    ]
    where
    make1 :: SequenceT sollu -> SequenceT sollu -> SequenceT sollu
make1 SequenceT sollu
t4 SequenceT sollu
t3 = forall {sollu}.
SequenceT sollu
-> SequenceT sollu -> SequenceT sollu -> SequenceT sollu
make SequenceT sollu
t4 SequenceT sollu
t4 SequenceT sollu
t3
    make :: SequenceT sollu
-> SequenceT sollu -> SequenceT sollu -> SequenceT sollu
make SequenceT sollu
t4a SequenceT sollu
t4 SequenceT sollu
t3 = forall sollu. SequenceT sollu -> SequenceT sollu
group SequenceT sollu
t4a forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r4 (forall sollu. SequenceT sollu -> SequenceT sollu
group SequenceT sollu
t4) forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r4 (forall sollu. SequenceT sollu -> SequenceT sollu
group SequenceT sollu
t3)
    oj :: Sequence
oj = forall {g}. Sequence g (Note Stroke)
oStack => Sequence -> Sequence -> Sequence
&forall {g}. Sequence g (Note Stroke)
j

-- ktkto_
-- r3 ktkto_ . r3 ktpkpktkno

e_19_06_10a :: Korvai
e_19_06_10a :: Korvai
e_19_06_10a = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
6 Int
10 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi
    [ forall a. Monoid a => a -> a
r8 Sequence
t1
    , forall a. Monoid a => a -> a
r4 Sequence
t1 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r4 Sequence
t2
    , forall a. Monoid a => a -> a
r4 Sequence
t1 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 Sequence
t2 forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r2 Sequence
t3
    , Sequence
t1 forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r4 Sequence
t2 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 Sequence
t2 forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r2 Sequence
t3
    , forall a. Monoid a => a -> a
r2 forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r5 Sequence
t4 forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r4 Sequence
t3
    , forall a. Monoid a => a -> a
r5 Sequence
t4 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 sollu. SequenceT sollu
__4) (forall a. Monoid a => a -> a
r4 Sequence
t3)
    ]
    where
    t1_ :: Sequence
t1_ = forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ 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)
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)
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)
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)
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)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    t1 :: Sequence
t1 = forall sollu. SequenceT sollu -> SequenceT sollu
group Sequence
t1_
    t2 :: Sequence
t2 = forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
takeM FMatra
6 forall a b. (a -> b) -> a -> b
$ Sequence
t1
    t3 :: Sequence
t3 = forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall sollu. SequenceT sollu -> SequenceT sollu
group forall a b. (a -> b) -> a -> b
$ 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
    t4 :: Sequence
t4 = forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$ forall sollu. SequenceT sollu -> SequenceT sollu
group forall a b. (a -> b) -> a -> b
$ Sequence
onforall 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)
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

e_19_06_10b :: Korvai
e_19_06_10b :: Korvai
e_19_06_10b = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
6 Int
10 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi forall a b. (a -> b) -> a -> b
$ forall a b. (a -> b) -> [a] -> [b]
map forall g sollu. Sequence g sollu -> Sequence g sollu
su
    [ (Sequence
rhforall a. Monoid a => a -> a -> a
.Sequence
rh') Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. Sequence
rh' forall a. Monoid a => a -> a -> a
. Sequence
rh' forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r4 Sequence
rh'
    , (Sequence
rhforall a. Monoid a => a -> a -> a
.Sequence
rh') Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r4 (forall sollu. SequenceT sollu -> SequenceT sollu
group (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)
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)
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)
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)
l))
    , forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
x5x4 (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)
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)
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 {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)
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)
l)
    , forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
x5x4 (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
__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 {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
__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 sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
x5x4 (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
__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)
y) (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
__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 sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
x5x4 (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)
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)
y) (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)
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)
y)
    ]
    where
    x5x4 :: SequenceT sollu -> SequenceT sollu -> SequenceT sollu
x5x4 SequenceT sollu
t1 SequenceT sollu
t2 = forall a. Monoid a => a -> a
r5 SequenceT sollu
t1 forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r4 (forall sollu. SequenceT sollu -> SequenceT sollu
group SequenceT sollu
t2)
    rh :: Sequence
rh = 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)
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)
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
__
    rh' :: Sequence
rh' = 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)
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)
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
__
    lh :: Sequence
lh = Stack => String -> Sequence
strM String
"o__o__o_o"

e_19_06_17 :: Korvai
e_19_06_17 :: Korvai
e_19_06_17 = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
6 Int
17 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi
    [ Sequence -> Sequence -> Sequence
t1 (forall {g}. Sequence g (Note Stroke)
pforall 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)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) (Sequence
onforall 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)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)
    , Sequence -> Sequence -> Sequence
t1 (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)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d) (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)
y)
    , forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6 forall a b. (a -> b) -> a -> b
$
        let rh :: Sequence
rh = 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)
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)
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)
dforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__
            lh :: Sequence
lh = Stack => String -> Sequence
strM String
"o__o__o_o__"
        in Sequence
lh Stack => Sequence -> Sequence -> Sequence
& Sequence
rh forall a. Monoid a => a -> a -> a
. Sequence
lh Stack => Sequence -> Sequence -> Sequence
& Sequence
rh forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
p Stack => Sequence -> Sequence -> Sequence
& Sequence
rh forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
p Stack => Sequence -> Sequence -> Sequence
& Sequence
rh
            forall a. Monoid a => a -> a -> a
. Sequence
lh Stack => Sequence -> Sequence -> Sequence
& Sequence
rh forall a. Monoid a => a -> a -> a
. Sequence
lh Stack => Sequence -> Sequence -> Sequence
& Sequence
rh forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
p Stack => Sequence -> Sequence -> Sequence
& Sequence
rh forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri (forall sollu. SequenceT sollu -> SequenceT sollu
group (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}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d))
    ]
    where
    t1 :: Sequence -> Sequence -> Sequence
t1 Sequence
end1 Sequence
end2 = forall g sollu. Sequence g sollu -> Sequence g sollu
su forall a b. (a -> b) -> a -> b
$
        forall a. Monoid a => a -> a
r5 (forall sollu. SequenceT sollu -> SequenceT sollu
group (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}. Sequence g (Note Stroke)
yforall 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)
lforall 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 {g}. Sequence g (Note Stroke)
yforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.Sequence
end1))
        forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r4 (forall sollu. SequenceT sollu -> SequenceT sollu
group (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}. Sequence g (Note Stroke)
yforall 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)
lforall 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
end2))

c_19_06_24_a :: Korvai
c_19_06_24_a :: Korvai
c_19_06_24_a = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
6 Int
24 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$
    Text -> Text -> Korvai -> Korvai
similarTo Text
"Mridangam2019" Text
"c_19_06_24_b"  forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi
    [ forall sollu. Section sollu -> Section sollu
x2 forall a b. (a -> b) -> a -> b
$ forall a. a -> Section a
s forall a b. (a -> b) -> a -> b
$ forall sollu. Stack => Duration -> SequenceT sollu
sarvaD_ Duration
6 forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
t12
    , forall a. a -> Section a
s forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__8 forall a. Monoid a => a -> a -> a
. Sequence
t12)forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__8 forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
t12
    , forall a. a -> Section a
s forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__8forall a. Monoid a => a -> a -> a
.Sequence
t12)forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4 forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
t1 forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4forall a. Monoid a => a -> a -> a
.Sequence
t1)
    , forall a. a -> Section a
s forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r2 forall a b. (a -> b) -> a -> b
$ 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 sollu. Sequence g sollu -> Sequence g sollu
su Sequence
t1 forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4forall a. Monoid a => a -> a -> a
.Sequence
t1)
    , forall a. a -> Section a
s forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
n6 forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4forall a. Monoid a => a -> a -> a
.Sequence
t1forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4 forall a. Monoid a => a -> a -> a
. Sequence
t1 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri Sequence
t1
    , forall a. a -> Section a
ending forall a b. (a -> b) -> a -> b
$
        -- TODO I should be able to do this variation automatically with a
        -- replace, see below.
        -- p&k.__.u . su (pk.nakatiku).o.__.k.__
        forall {g}. Sequence g (Note Stroke)
pStack => Sequence -> Sequence -> Sequence
&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)
u 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)forall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su (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 {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)
k)
        -- . n6 (od.__8.o&n.__.pk.nakatiku.o.__4.k.__4.od.__)
        forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__8forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oStack => Sequence -> Sequence -> Sequence
&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
.Sequence
pkforall a. Monoid a => a -> a -> a
.Sequence
nakatikuforall 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 {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)
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
__)
        -- . __5 . su nakatiku.o.__.k.__.od.__4
        forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu
__5 forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
nakatikuforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su (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 {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)
k)forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4
        -- . n6 (__.__.o.__4.k.__4.od.__8)
        forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (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 sollu. SequenceT sollu
__3forall 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)
kforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__8)

        forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
group (forall b a. Monoid b => (a -> b) -> [a] -> b
mconcatMap (\Sequence
s -> Sequence
sforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3forall a. Monoid a => a -> a -> a
.Sequence
s) forall {g}. [Sequence g (Note Stroke)]
ktkno)
        forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (forall sollu. SequenceT sollu -> SequenceT sollu
group (forall b a. Monoid b => (a -> b) -> [a] -> b
mconcatMap (\Sequence
s -> Sequence
sforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
s) forall {g}. [Sequence g (Note Stroke)]
ktkno))
        forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (forall sollu. SequenceT sollu -> SequenceT sollu
group (forall b a. Monoid b => (a -> b) -> [a] -> b
mconcatMap (forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) forall {g}. [Sequence g (Note Stroke)]
ktkno))
        -- . n6 (tri_ __ (tri (group (mconcat ktkno))))
        -- . n6 (tri_ __ (trin ø (k.n.o) (k.t.k.n.o) (i.__4.k.n.o)))
        forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (forall sollu.
SequenceT sollu
-> SequenceT sollu
-> SequenceT sollu
-> SequenceT sollu
-> SequenceT sollu
trin forall a. Rest a => a
__ (forall sollu. SequenceT sollu -> SequenceT sollu
tri (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. SequenceT sollu -> SequenceT sollu
tri (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. SequenceT sollu -> SequenceT sollu
tri (forall {g}. Sequence g (Note Stroke)
iforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4forall 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
    -- TODO replace (o.__.k.__) with (su (o.__3.o.k.__.o.k))
    -- I might have to tag the sequence, because (k.__.o.__) isn't unique and
    -- I'm not using sollus.
    n6 :: Sequence g sollu -> Sequence g sollu
n6 = forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6
    ktkno :: [Sequence g (Note Stroke)]
ktkno = [forall {g}. Sequence g (Note Stroke)
k, forall {g}. Sequence g (Note Stroke)
t, forall {g}. Sequence g (Note Stroke)
k, forall {g}. Sequence g (Note Stroke)
n, forall {g}. Sequence g (Note Stroke)
o]
    t12 :: Sequence
t12 = Sequence
t1 forall a. Monoid a => a -> a -> a
. Sequence
nakatiku
    t1 :: Sequence
t1 = forall sollu. SequenceT sollu -> SequenceT sollu
group forall a b. (a -> b) -> a -> b
$ 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
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
pk

-- TODO reduce copy-paste with c_19_06_24_a
c_19_06_24_b :: Korvai
c_19_06_24_b :: Korvai
c_19_06_24_b = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
6 Int
24 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$
    Text -> Text -> Korvai -> Korvai
similarTo Text
"Mridangam2019" Text
"c_19_06_24_a" forall a b. (a -> b) -> a -> b
$ Tala -> [Section] -> Korvai
korvai Tala
adi
    [ forall a. a -> Section a
s forall a b. (a -> b) -> a -> b
$ forall sollu. Stack => Duration -> SequenceT sollu
sarvaD_ Duration
6 forall a. Monoid a => a -> a -> a
. Sequence
t12
    , forall sollu. Section sollu -> Section sollu
x2 forall a b. (a -> b) -> a -> b
$ forall a. a -> Section a
s forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
n3 (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
t12) forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n4 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__8 forall a. Monoid a => a -> a -> a
. Sequence
t12)
    , forall a. a -> Section a
s forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
n3 (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
t12) forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n4 (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
t2) forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n3 (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
t2)
    , forall a. a -> Section a
s forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r2 forall a b. (a -> b) -> a -> b
$ forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4forall a. Monoid a => a -> a -> a
.Sequence
t2 forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n3 (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
t2)
    , forall a. a -> Section a
s forall a b. (a -> b) -> a -> b
$ forall g sollu. Sequence g sollu -> Sequence g sollu
n3 forall a b. (a -> b) -> a -> b
$ 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
t2forall 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
t2 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri Sequence
t2
    , forall a. a -> Section a
ending forall a b. (a -> b) -> a -> b
$
        Sequence
t12forall 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 a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n3 (forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4forall 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)
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 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)
od)
        forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n4 (forall sollu. SequenceT sollu
__5forall a. Monoid a => a -> a -> a
.Sequence
t2forall 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 a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n3 (forall {g}. Sequence g (Note Stroke)
odforall 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)
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)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4)

        forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
group (forall b a. Monoid b => (a -> b) -> [a] -> b
mconcatMap (\Sequence
s -> Sequence
sforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3forall a. Monoid a => a -> a -> a
.Sequence
s) forall {g}. [Sequence g (Note Stroke)]
ktkno)
        forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (forall sollu. SequenceT sollu -> SequenceT sollu
group (forall b a. Monoid b => (a -> b) -> [a] -> b
mconcatMap (\Sequence
s -> Sequence
sforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
s) forall {g}. [Sequence g (Note Stroke)]
ktkno))
        forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (forall sollu. SequenceT sollu -> SequenceT sollu
group (forall b a. Monoid b => (a -> b) -> [a] -> b
mconcatMap (forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) forall {g}. [Sequence g (Note Stroke)]
ktkno))
        forall a. Monoid a => a -> a -> a
. forall g sollu. Sequence g sollu -> Sequence g sollu
n6 (forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ forall a. Rest a => a
__ (forall sollu. SequenceT sollu -> SequenceT sollu
tri (forall sollu. SequenceT sollu -> SequenceT sollu
group (forall a. Monoid a => [a] -> a
mconcat forall {g}. [Sequence g (Note Stroke)]
ktkno))))
    ]
    where
    n3 :: Sequence g sollu -> Sequence g sollu
n3 = forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
3
    n4 :: Sequence g sollu -> Sequence g sollu
n4 = forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
4
    n6 :: Sequence g sollu -> Sequence g sollu
n6 = forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6
    ktkno :: [Sequence g (Note Stroke)]
ktkno = [forall {g}. Sequence g (Note Stroke)
k, forall {g}. Sequence g (Note Stroke)
t, forall {g}. Sequence g (Note Stroke)
k, forall {g}. Sequence g (Note Stroke)
n, forall {g}. Sequence g (Note Stroke)
o]
    t12 :: Sequence
t12 = forall sollu. SequenceT sollu -> SequenceT sollu
group 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)
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)
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
    t2 :: Sequence
t2 = forall sollu. SequenceT sollu -> SequenceT sollu
group 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)
k

e_19_06_24 :: Korvai
e_19_06_24 :: Korvai
e_19_06_24 = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
6 Int
24 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi forall a b. (a -> b) -> a -> b
$ forall a b. (a -> b) -> [a] -> [b]
map forall g sollu. Sequence g sollu -> Sequence g sollu
su
    [ forall a. Monoid a => a -> a
r8 Sequence
t12
    , forall a. Monoid a => a -> a
r6 Sequence
t12 forall a. Monoid a => a -> a -> a
. Sequence
t1forall a. Monoid a => a -> a -> a
.Sequence
t1forall a. Monoid a => a -> a -> a
.Sequence
t2forall a. Monoid a => a -> a -> a
.Sequence
t2
    , forall a. Monoid a => a -> a
r5 Sequence
t12 forall a. Monoid a => a -> a -> a
. Sequence
t1forall a. Monoid a => a -> a -> a
.Sequence
t1forall a. Monoid a => a -> a -> a
.Sequence
t1forall a. Monoid a => a -> a -> a
.Sequence
t2forall a. Monoid a => a -> a -> a
.Sequence
t2forall a. Monoid a => a -> a -> a
.Sequence
t2
    , forall a. Monoid a => a -> a
r5 Sequence
t12 forall 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
t2forall 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
.Sequence
t2forall 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
.Sequence
t2
    , forall a. Monoid a => a -> a
r5 Sequence
t12 forall 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)
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)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.Sequence
t2forall a. Monoid a => a -> a -> a
.Sequence
t2forall a. Monoid a => a -> a -> a
.Sequence
t2
    ]
    where
    t12 :: Sequence
t12 = Sequence
t1forall a. Monoid a => a -> a -> a
.Sequence
t2
    t1 :: Sequence
t1 = forall sollu. SequenceT sollu -> SequenceT sollu
group 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)
odforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__
    t2 :: Sequence
t2 = forall sollu. SequenceT sollu -> SequenceT sollu
group Sequence
ktkno

-- chatusram / tisram exercise:
-- nadai 4 (r2 (k.od.__.ktkno)) . nadai 6 (r3 (k.od.__.ktkno))

e_19_08_05_gumiki :: Korvai
e_19_08_05_gumiki :: Korvai
e_19_08_05_gumiki = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
8 Int
5 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi
    [ 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 a b. (a -> b) -> a -> b
$
          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
.Sequence
ktforall 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)
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)
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)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4
         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
.Sequence
ktforall 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)
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)
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)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4
    , 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 a b. (a -> b) -> a -> b
$ 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
.Sequence
ktforall 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)
k 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)
nforall a. Monoid a => a -> a -> a
.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)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4)
    , 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 a b. (a -> b) -> a -> b
$ 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
.Sequence
ktforall 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)
k forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r5 (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)
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)
dforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4
    ]

-- search youtube:
-- bhajan govindam - ms
-- d_nd_dn_ for verse with nd_nd_nd for end
--
-- hanuman charisa - ms

-- gumiki exercise: nd_n_nd_n_nd_n ktok, but with o' on long o

-- sarva:
-- n-dd-dd-n-dd-dd-
-- d_nd-dn-d-nd-dn-
-- nd-n-nd-n-nd-nd-
-- nd-dnd-dnd-dnd-d
e_19_08_19 :: Korvai
e_19_08_19 :: Korvai
e_19_08_19 = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
8 Int
25 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Tala -> Sequence -> Korvai
korvaiS1 Tala
adi forall a b. (a -> b) -> a -> b
$
    forall b a. Monoid b => (a -> b) -> [a] -> b
mconcatMap Sequence -> Sequence
cycle [forall {g}. Sequence g (Note Stroke)
p, forall {g}. Sequence g (Note Stroke)
k, forall {g}. Sequence g (Note Stroke)
o, forall {g}. Sequence g (Note Stroke)
n]
    where cycle :: Sequence -> Sequence
cycle Sequence
x = forall g sollu. Sequence g sollu -> Sequence g sollu
su (Sequence
xforall 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
.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)
kforall a. Monoid a => a -> a -> a
.Sequence
nakatiku) forall a. Monoid a => a -> a -> a
. forall sollu. Stack => Duration -> SequenceT sollu
sarvaD_ Duration
2

-- tirmanam: td--t-d-- (4+5) * 3
-- tisram: c_19_06_24_a
-- ending 3x

c_19_08_26 :: Korvai
c_19_08_26 :: Korvai
c_19_08_26 = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
8 Int
26 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi 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 sollu. Stack => Duration -> SequenceT sollu
restD Duration
6 forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu
tri (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
.Sequence
ktkno)
    , forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
p Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
o
    , forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
p Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t7 forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t7 forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t5 forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t5 forall {g}. Sequence g (Note Stroke)
o
    , forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t7 forall a. Rest a => a
__ Stack => Sequence -> Sequence -> Sequence
& Stack => String -> Sequence
strM String
"o_o_oo" forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t7 forall a. Rest a => a
__ Stack => Sequence -> Sequence -> Sequence
& Stack => String -> Sequence
strM String
"o_o_oo"
        forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t7 forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t5 forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t5 forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t5 forall {g}. Sequence g (Note Stroke)
o
    , forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
p Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. Sequence
t75
    , forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
p Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. Sequence
t75'
    , forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& Sequence
lh forall a. Monoid a => a -> a -> a
. Sequence
t75 forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. Sequence
t75'

    , Sequence
t75forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3 forall a. Monoid a => a -> a -> a
. Sequence
t75'forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3
        forall a. Monoid a => a -> a -> a
. Sequence
t75 forall a. Monoid a => a -> a -> a
. Sequence
t75' forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
odforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3
        forall a. Monoid a => a -> a -> a
. forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
iforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3) (forall sollu. SequenceT sollu
p5forall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
p5)
    ]
    where
    t7 :: Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t7 Sequence g (Note Stroke)
e = 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
__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)
dforall a. Monoid a => a -> a -> a
.Sequence g (Note Stroke)
e
    t5 :: Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t5 Sequence g (Note Stroke)
e = 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
__forall a. Monoid a => a -> a -> a
.Sequence g (Note Stroke)
e
    t75 :: Sequence
t75 = forall sollu. SequenceT sollu -> SequenceT sollu
group 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)
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 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 a. Rest a => a
__)
    t75' :: Sequence
t75' = forall sollu. SequenceT sollu -> SequenceT sollu
group 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)
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 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 {g}. Sequence g (Note Stroke)
nforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__)

    rh :: Sequence g (Note Stroke) -> Sequence g (Note Stroke)
rh Sequence g (Note Stroke)
e = forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t7 forall a. Rest a => a
__ forall a. Monoid a => a -> a -> a
. forall {g}.
Rest (Sequence g (Note Stroke)) =>
Sequence g (Note Stroke) -> Sequence g (Note Stroke)
t5 Sequence g (Note Stroke)
e
    lh :: Sequence
lh   = 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 {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 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_19_09_23 :: Korvai
e_19_09_23 :: Korvai
e_19_09_23 = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
9 Int
23 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
exercise 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 a. Monoid a => a -> a
r4 Sequence
rh 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)
o'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
.Sequence
p_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 {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 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
__)
    where
    rh :: Sequence
rh = 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 a. Rest a => a
__forall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
l -- Mi but on meetu
    -- rh2 = d.l.lt d.l

-- in kandam, in tisram
c_19_09_23 :: Korvai
c_19_09_23 :: Korvai
c_19_09_23 = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
9 Int
23 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
trikalam forall a b. (a -> b) -> a -> b
$
    Text -> Text -> Korvai -> Korvai
similarTo Text
"Solkattu2017" Text
"c_17_07_13" forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi
    [ forall a. Monoid a => a -> a
r2 Sequence
purvangam, Sequence
utarangam
    , forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
5 forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r3 Sequence
purvangam forall a. Monoid a => a -> a -> a
. Sequence
utarangam
    , forall g sollu. Int -> Sequence g sollu -> Sequence g sollu
nadai Int
6 forall a b. (a -> b) -> a -> b
$ forall a. Monoid a => a -> a
r4 Sequence
purvangam forall a. Monoid a => a -> a -> a
. Sequence
utarangam
    ]
    where
    purvangam :: Sequence
purvangam = forall {g}. Sequence g (Note Stroke)
vforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4forall 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
.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)
odforall 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 Sequence
ktok 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)
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)
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
.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)
vforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__4
    utarangam :: Sequence
utarangam = forall sollu. SequenceT sollu -> SequenceT sollu -> SequenceT sollu
tri_ (forall {g}. Sequence g (Note Stroke)
oforall a. Monoid a => a -> a -> a
.forall a. Rest a => a
__) (forall sollu. SequenceT sollu -> SequenceT sollu
group (forall {g}. Sequence g (Note Stroke)
vforall a. Monoid a => a -> a -> a
.forall sollu. SequenceT sollu
__3forall 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)
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)
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)
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 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
__))

e_19_09_30_gumiki :: Korvai
e_19_09_30_gumiki :: Korvai
e_19_09_30_gumiki = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
9 Int
30 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi
    [ forall a. Monoid a => a -> a
r2 (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
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
pkforall a. Monoid a => a -> a -> a
.Sequence
nakatiku)
        forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 (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
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
pk) forall a. Monoid a => a -> a -> a
. Sequence
nakatiku
        forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r2 (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
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
kt) forall a. Monoid a => a -> a -> a
. 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
.Sequence
kt forall a. Monoid a => a -> a -> a
. (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
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
pkforall a. Monoid a => a -> a -> a
.Sequence
nakatiku)
        forall a. Monoid a => a -> a -> a
. forall a. Monoid a => a -> a
r3 (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
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
kt) forall a. Monoid a => a -> a -> a
. 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
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
pkforall a. Monoid a => a -> a -> a
.Sequence
nakatiku
    , 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
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
p'Stack => Sequence -> Sequence -> Sequence
&forall {g}. Sequence g (Note Stroke)
dforall 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)
odforall a. Monoid a => a -> a -> a
.Sequence
onforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
d)forall a. Monoid a => a -> a -> a
.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
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
ktforall a. Monoid a => a -> a -> a
.Sequence
pkforall a. Monoid a => a -> a -> a
.Sequence
nakatiku
    ]

-- Start from 70mm, aim for 90mm.
e_19_11_11_namita_dimita :: Korvai
e_19_11_11_namita_dimita :: Korvai
e_19_11_11_namita_dimita = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
11 Int
11 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
exercise forall a b. (a -> b) -> a -> b
$
    Text -> Text -> Korvai -> Korvai
similarTo Text
"Mridangam2013" Text
"namita_dimita_seq" forall a b. (a -> b) -> a -> b
$ Tala -> [Sequence] -> Korvai
korvaiS Tala
adi
    [ forall {g}. Sequence g (Note Stroke)
rhStack => Sequence -> Sequence -> Sequence
&Sequence
lh forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
rhStack => Sequence -> Sequence -> Sequence
&Sequence
lh forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
rhStack => Sequence -> Sequence -> Sequence
&forall {g}. Sequence g (Note Stroke)
o forall a. Monoid a => a -> a -> a
. Sequence -> Sequence
end forall {g}. Sequence g (Note Stroke)
o
    , forall {g}. Sequence g (Note Stroke)
rhStack => Sequence -> Sequence -> Sequence
&Sequence
lh forall a. Monoid a => a -> a -> a
. Sequence -> Sequence
end forall {g}. Sequence g (Note Stroke)
o forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
rhStack => Sequence -> Sequence -> Sequence
&forall {g}. Sequence g (Note Stroke)
o forall a. Monoid a => a -> a -> a
. Sequence -> Sequence
end forall {g}. Sequence g (Note Stroke)
o
    , forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& Sequence -> Sequence
end forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. Sequence -> Sequence
end forall {g}. Sequence g (Note Stroke)
o forall a. Monoid a => a -> a -> a
. forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& Sequence -> Sequence
end forall {g}. Sequence g (Note Stroke)
p forall a. Monoid a => a -> a -> a
. Sequence -> Sequence
end forall {g}. Sequence g (Note Stroke)
o
    , Sequence
invert forall a. Monoid a => a -> a -> a
. Sequence
invert
    , 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)
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)
k) (forall {g}. Sequence g (Note Stroke)
o Stack => Sequence -> Sequence -> Sequence
& Sequence -> Sequence
end forall {g}. Sequence g (Note Stroke)
o forall a. Monoid a => a -> a -> a
. forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
dropM FMatra
3 (Sequence -> Sequence
end forall {g}. Sequence g (Note Stroke)
o) forall a. Monoid a => a -> a -> a
. forall sollu.
(Stack, Pretty sollu) =>
FMatra -> SequenceT sollu -> SequenceT sollu
dropM FMatra
3 (Sequence -> Sequence
end forall {g}. Sequence g (Note Stroke)
o))
    ]
    where
    end :: Sequence -> Sequence
end Sequence
s = 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
.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)
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)
tforall 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
onforall 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
.Sequence
sforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
k
    invert :: Sequence
invert = forall g sollu. Sequence g sollu -> Sequence g sollu
su 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)
tforall 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
onforall 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)
kforall 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
.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)
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)
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)
n forall 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)
kforall 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
.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
    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)
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)
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)
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)
l
    lh :: Sequence
lh = 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 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_19_11_11_sarva :: Korvai
e_19_11_11_sarva :: Korvai
e_19_11_11_sarva = Stack => Int -> Int -> Int -> Korvai -> Korvai
date Int
2019 Int
11 Int
11 forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
ganesh forall a b. (a -> b) -> a -> b
$ Korvai -> Korvai
sarvalaghu 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}. 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)
oStack => Sequence -> Sequence -> Sequence
&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
.Sequence
onforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
ktpk 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)
oforall a. Monoid a => a -> a -> a
.forall {g}. Sequence g (Note Stroke)
oStack => Sequence -> Sequence -> Sequence
&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
.Sequence
onforall a. Monoid a => a -> a -> a
.forall g sollu. Sequence g sollu -> Sequence g sollu
su Sequence
ktok

-- revise kandom exercises from way back