@wactbprot
Yes excellent, thanks.
When I tried to programm the and combinator in haskell I failed. Maybe because of the static type system but more likely because of my inability?

Any simple solution for and (\p q -> p q p ) in haskell?