Add test for type family expansion

currently fails
Pretty print stand-alone arrows.

Occurs in e.g.:  Arrow (->) a b