Name: Anonymous 2012-07-16 4:40
How is the idea of ``squaring'' expressed?
(<$>)(=<<)(<$>(*))($)id
fmap (=<<) (fmap (*)) id id
((=<<) . ((*) .)) id id
((=<<) . (\g x -> (*) (g x))) id id
(\y -> (=<<) ((\g x -> (*) (g x)) y)) id id
(=<<) ((\g x -> (*) (g x)) id) id
(=<<) (\x -> (*) (id x)) id
(=<<) (\x -> (* x)) id
(=<<) (*) id
(*) =<< id
\z -> (* z) (id z)
\z -> z * z