wip
wip2
String and higher order kinds example works again.
Run result on POSIX