Fixing GADTs post
visual tweaks