# MIT License, Copyright (c) 2024 Marvin Borner
# for now, monads, functors, applicative, etc are all in here..

# TODO: more monad interface

liftA map ⧗ (a → b) → (f a) → (f b)

liftA2 ap ∘∘ map ⧗ (a → b → c) → (f a) → (f b) → (f c)

liftA3 [[[[(liftA2 3 2 1) <*> 0]]]] ⧗ (a → b → c → d) → (f a) → (f b) → (f c) → (f d)

…<$… map ∘ k ⧗ a → (f b) → (f a)

…*>… [[(i <$ 1) <*> 0]] ⧗ (f a) → (f b) → (f b)

…<*… liftA2 k ⧗ (f a) → (f b) → (f a)