The line-breaks setting for operators a bit off with type families

[michalrus]

This example:

type family Unprotect (api :: k) :: k where
  Unprotect (Verb a b c (Cookied d)) = Verb a b c d
  Unprotect (CookieProtect api) = Unprotect api
  Unprotect (a :<|> b) = Unprotect a :<|> Unprotect b
  Unprotect (a :> b) = a :> Unprotect b
  Unprotect a = a

will be formatted to:

type family Unprotect (api :: k) :: k where
  Unprotect (Verb a b c (Cookied d)) = Verb a b c d
  Unprotect (CookieProtect api) = Unprotect api
  Unprotect (a
             :<|> b) = Unprotect a
  :<|> Unprotect b
  Unprotect (a
             :> b) = a
  :> Unprotect b
  Unprotect a = a

which does not compile, as the 6th line of the result (in the 3rd recipe) should be indented more.

/cc @sighingnow

[michalrus]

A temporary workaround would be to parenthesize RHS which results in compillable code:

type family Unprotect (api :: k) :: k where
  Unprotect (Verb a b c (Cookied d)) = Verb a b c d
  Unprotect (CookieProtect api) = Unprotect api
  Unprotect (a
             :<|> b) = (Unprotect a
                        :<|> Unprotect b)
  Unprotect (a
             :> b) = (a
                      :> Unprotect b)
  Unprotect a = a