clean up kind signature, introduce Val. Surprisingly, this works: (App (Val chr) (Val 42)) : Applicative (->) Char
clean up kind signature, introduce Val. Surprisingly, this works: (App (Val chr) (Val 42)) : Applicative (->) Char
ggreif/al4nin,ggreif/al4nin