no-annotations-without-ghci