Check for type families in an instance context

Authored by simonpj on May 21 2018, 7:38 AM.