on d82d607 help sign in
all commits
ae40a33Sort language pragmas and fix their placement in moduleswaddlaw f9842f5Add newlines between most declarations in a type class instanceyumiova c05d9d6Support associated data types and open data family instancesyumiova