09Idiom: type comment for Accy
09Idiom: comments for applicative laws