content: -- Exponential with GHC 8.10
  --
  -- This is a smaller version of T10421, but demonstrates the same blow-up
  
  module RegBig where
  
  import Prelude
  
  import Control.Applicative
  import T10421a_Form
  
  data Register
    = Register String
               String
               String
               String
               String
               String
               String
               String
               String
               String
               String
               String
  
  registerForm :: FormResult String   -- a1
               -> FormResult String
               -> FormResult String   -- a3
               -> FormResult String
               -> FormResult String
               -> FormResult String   -- a6
               -> FormResult String   -- a7
               -> FormResult String
               -> FormResult String
               -> FormResult String
               -> FormResult String
               -> FormResult String   -- a12
               -> IO (FormResult Register)
  
  registerForm a1 a2 a3 a4 a5 a6 a7
               a8 a9 a10 a11 a12
   = return (Register <$> a1
                     <*> a2
                     <*> a3
                     <*> a4
                     <*> a5
                     <*> a6
                     <*> a7
                     <*> a8
                     <*> a9
                     <*> a10
                     <*> a11
                     <*> a12
        )
  