Monad Bind, Associativity Matters

Run Settings
Language	Haskell
Language Version
Run Command

1
2
3
4
5
6
7
8
9
10
11
{-# 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	10

Snippet Metadata
Owner	homam
Created	8 years ago
Modified	8 years ago
Visibility	Public