module HaddockTySyn where type T = Int -- ^ Comment on type synonym RHS