Monad Bind, Associativity Matters

Run Settings
LanguageHaskell
Language Version
Run Command
{-# LANGUAGE DeriveFunctor #-}
import Debug.Trace (trace)
import Control.Monad ((>=>))
data Tree a = Node (Tree a) (Tree a) | Leaf a deriving Functor
instance Applicative Tree where
pure = Leaf
Leaf f <*> Leaf a = Leaf $ f a
Leaf f <*> Node a b = Node (f <$> a) (f <$> b)
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
Editor Settings
Theme
Key bindings
Full width
Lines