My submission for the International Obfuscated Haskell Code Competetion

IOHCC.hs

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE ImpredicativeTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
module IOHCC where

import Unsafe.Coerce

u = unsafeCoerce

-- | Helper function for viewing multiple results, 'fib' is where the magic happens
fibs :: Int -> [Int]
fibs n = fmap (\n -> (fib (l n)) (+1) 0) [1..n]

-- | Convert an integer into a church encoded numeral
l 0 _ z = z
l n s z = s (l (n - 1) s z)

-- | The most elegant functional program to have ever existed.
-- Consists only of 'pure', '<*>', and 'unsafeCoerce'
fib =
    (((<*>)
       ((pure @
         ((->)
          _))
        ((<*>)
         ((<*>)
          (pure @
           ((->)
            _))
          (pure @
           ((->)
            _)))
         (u
          ((<*>)
           (pure @
            ((->)
             _))
           (pure @
            ((->)
             _))))))
       ((<*>)
        ((<*>)
         ((pure @
           ((->)
            _))
          (<*>))
         (pure @
          ((->)
           _)))
        ((pure @
          ((->)
           _))
         ((<*>)
          ((<*>)
           (pure @
            ((->)
             _))
           (pure @
            ((->)
             _)))
          (u
           ((<*>)
            (pure @
             ((->)
              _))
            (pure @
             ((->)
              _))))))))
      (((<*>)
        ((pure @
          ((->)
           _))
         (<*>))
        (pure @
         ((->)
          _)))
       ((((<*>)
          ((pure @
            ((->)
             _))
           (<*>))
          (pure @
           ((->)
            _)))
         (((<*>)
           ((pure @
             ((->)
              _))
            (<*>))
           (pure @
            ((->)
             _)))
          (<*>))
         (((<*>)
           ((pure @
             ((->)
              _))
            (<*>))
           (pure @
            ((->)
             _)))
          (<*>)
          (pure @
           ((->)
            _))))
        ((((<*>)
           ((<*>)
            ((pure @
              ((->)
               _))
             ((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _))))
            (<*>))
           ((pure @
             ((->)
              _))
            (pure @
             ((->)
              _))))
          (((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           (((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            (((<*>)
              ((<*>)
               ((pure @
                 ((->)
                  _))
                ((<*>)
                 ((pure @
                   ((->)
                    _))
                  (<*>))
                 (pure @
                  ((->)
                   _))))
               (<*>))
              ((pure @
                ((->)
                 _))
               (pure @
                ((->)
                 _))))
             ((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _)))
             (pure @
              ((->)
               _))))
           ((<*>)
            ((<*>)
             ((pure @
               ((->)
                _))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _))))
             (<*>))
            ((pure @
              ((->)
               _))
             (pure @
              ((->)
               _))))))
         ((pure @
           ((->)
            _))
          ((<*>)
           (pure @
            ((->)
             _))
           (pure @
            ((->)
             _)))))
        u)
       (((<*>)
         ((pure @
           ((->)
            _))
          (<*>))
         (pure @
          ((->)
           _)))
        ((((<*>)
           ((pure @
             ((->)
              _))
            (<*>))
           (pure @
            ((->)
             _)))
          (((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           (<*>))
          (((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           (<*>)
           (pure @
            ((->)
             _))))
         ((((<*>)
            ((<*>)
             ((pure @
               ((->)
                _))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _))))
             (<*>))
            ((pure @
              ((->)
               _))
             (pure @
              ((->)
               _))))
           (((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            (((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _)))
             (((<*>)
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _))))
                (<*>))
               ((pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _))))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _)))
              (pure @
               ((->)
                _))))
            ((<*>)
             ((<*>)
              ((pure @
                ((->)
                 _))
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _))))
              (<*>))
             ((pure @
               ((->)
                _))
              (pure @
               ((->)
                _))))))
          ((((<*>)
             ((<*>)
              ((pure @
                ((->)
                 _))
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _))))
              (<*>))
             ((pure @
               ((->)
                _))
              (pure @
               ((->)
                _))))
            ((((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _)))
              (((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _)))
               (<*>))
              (((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _)))
               (<*>)
               (pure @
                ((->)
                 _))))
             ((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _))))
            ((<*>)
             (pure @
              ((->)
               _))
             (pure @
              ((->)
               _))))
           ((pure @
             ((->)
              _))
            ((<*>)
             (pure @
              ((->)
               _))
             (pure @
              ((->)
               _))))))
         (u
          (((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           (((<*>)
             ((<*>)
              ((pure @
                ((->)
                 _))
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _))))
              (<*>))
             ((pure @
               ((->)
                _))
              (pure @
               ((->)
                _))))
            ((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            (((<*>)
              ((<*>)
               ((pure @
                 ((->)
                  _))
                ((<*>)
                 ((pure @
                   ((->)
                    _))
                  (<*>))
                 (pure @
                  ((->)
                   _))))
               (<*>))
              ((pure @
                ((->)
                 _))
               (pure @
                ((->)
                 _))))
             ((<*>)
              ((<*>)
               ((pure @
                 ((->)
                  _))
                ((<*>)
                 ((pure @
                   ((->)
                    _))
                  (<*>))
                 (pure @
                  ((->)
                   _))))
               (<*>))
              ((pure @
                ((->)
                 _))
               (pure @
                ((->)
                 _))))))
           (((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            (((<*>)
              ((<*>)
               ((pure @
                 ((->)
                  _))
                ((<*>)
                 ((pure @
                   ((->)
                    _))
                  (<*>))
                 (pure @
                  ((->)
                   _))))
               (<*>))
              ((pure @
                ((->)
                 _))
               (pure @
                ((->)
                 _))))
             ((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _)))
             (((<*>)
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _))))
                (<*>))
               ((pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _))))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _)))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _)))))
            (((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _)))
             (((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _)))
              (((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _)))
               (((<*>)
                 ((pure @
                   ((->)
                    _))
                  (<*>))
                 (pure @
                  ((->)
                   _)))
                (((<*>)
                  ((<*>)
                   ((pure @
                     ((->)
                      _))
                    ((<*>)
                     ((pure @
                       ((->)
                        _))
                      (<*>))
                     (pure @
                      ((->)
                       _))))
                   (<*>))
                  ((pure @
                    ((->)
                     _))
                   (pure @
                    ((->)
                     _))))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _)))
                 (pure @
                  ((->)
                   _)))
                (((<*>)
                  ((<*>)
                   ((pure @
                     ((->)
                      _))
                    ((<*>)
                     ((pure @
                       ((->)
                        _))
                      (<*>))
                     (pure @
                      ((->)
                       _))))
                   (<*>))
                  ((pure @
                    ((->)
                     _))
                   (pure @
                    ((->)
                     _))))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _)))
                 ((<*>)
                  (pure @
                   ((->)
                    _))
                  (pure @
                   ((->)
                    _)))))
               (((<*>)
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   ((<*>)
                    ((pure @
                      ((->)
                       _))
                     (<*>))
                    (pure @
                     ((->)
                      _))))
                  (<*>))
                 ((pure @
                   ((->)
                    _))
                  (pure @
                   ((->)
                    _))))
                ((<*>)
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   ((<*>)
                    ((pure @
                      ((->)
                       _))
                     (<*>))
                    (pure @
                     ((->)
                      _))))
                  (<*>))
                 ((pure @
                   ((->)
                    _))
                  (pure @
                   ((->)
                    _))))
                ((<*>)
                 (pure @
                  ((->)
                   _))
                 (pure @
                  ((->)
                   _))))))
             (((<*>)
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _))))
                (<*>))
               ((pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _))))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _)))
              ((<*>)
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _))))
                (<*>))
               ((pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _))))))))))
        ((((<*>)
           ((pure @
             ((->)
              _))
            (<*>))
           (pure @
            ((->)
             _)))
          (((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           (<*>))
          (((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           (<*>)
           (pure @
            ((->)
             _))))
         ((((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           (((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            (<*>))
           (((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            (<*>)
            (pure @
             ((->)
              _))))
          ((((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            (((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _)))
             (<*>))
            (((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _)))
             (<*>)
             (pure @
              ((->)
               _))))
           ((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))))
         (((<*>)
           ((<*>)
            ((pure @
              ((->)
               _))
             ((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _))))
            (<*>))
           ((pure @
             ((->)
              _))
            (pure @
             ((->)
              _))))
          (u
           ((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _))))
          (u
           (((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            (((<*>)
              ((<*>)
               ((pure @
                 ((->)
                  _))
                ((<*>)
                 ((pure @
                   ((->)
                    _))
                  (<*>))
                 (pure @
                  ((->)
                   _))))
               (<*>))
              ((pure @
                ((->)
                 _))
               (pure @
                ((->)
                 _))))
             ((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _)))
             (((<*>)
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _))))
                (<*>))
               ((pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _))))
              ((<*>)
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _))))
                (<*>))
               ((pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _))))))
            (((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _)))
             (((<*>)
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _))))
                (<*>))
               ((pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _))))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _)))
              (((<*>)
                ((<*>)
                 ((pure @
                   ((->)
                    _))
                  ((<*>)
                   ((pure @
                     ((->)
                      _))
                    (<*>))
                   (pure @
                    ((->)
                     _))))
                 (<*>))
                ((pure @
                  ((->)
                   _))
                 (pure @
                  ((->)
                   _))))
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _)))
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _)))))
             (((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _)))
              (((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _)))
               (((<*>)
                 ((pure @
                   ((->)
                    _))
                  (<*>))
                 (pure @
                  ((->)
                   _)))
                (((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _)))
                 (((<*>)
                   ((<*>)
                    ((pure @
                      ((->)
                       _))
                     ((<*>)
                      ((pure @
                        ((->)
                         _))
                       (<*>))
                      (pure @
                       ((->)
                        _))))
                    (<*>))
                   ((pure @
                     ((->)
                      _))
                    (pure @
                     ((->)
                      _))))
                  ((<*>)
                   ((pure @
                     ((->)
                      _))
                    (<*>))
                   (pure @
                    ((->)
                     _)))
                  (pure @
                   ((->)
                    _)))
                 (((<*>)
                   ((<*>)
                    ((pure @
                      ((->)
                       _))
                     ((<*>)
                      ((pure @
                        ((->)
                         _))
                       (<*>))
                      (pure @
                       ((->)
                        _))))
                    (<*>))
                   ((pure @
                     ((->)
                      _))
                    (pure @
                     ((->)
                      _))))
                  ((<*>)
                   ((pure @
                     ((->)
                      _))
                    (<*>))
                   (pure @
                    ((->)
                     _)))
                  ((<*>)
                   (pure @
                    ((->)
                     _))
                   (pure @
                    ((->)
                     _)))))
                (((<*>)
                  ((<*>)
                   ((pure @
                     ((->)
                      _))
                    ((<*>)
                     ((pure @
                       ((->)
                        _))
                      (<*>))
                     (pure @
                      ((->)
                       _))))
                   (<*>))
                  ((pure @
                    ((->)
                     _))
                   (pure @
                    ((->)
                     _))))
                 ((<*>)
                  ((<*>)
                   ((pure @
                     ((->)
                      _))
                    ((<*>)
                     ((pure @
                       ((->)
                        _))
                      (<*>))
                     (pure @
                      ((->)
                       _))))
                   (<*>))
                  ((pure @
                    ((->)
                     _))
                   (pure @
                    ((->)
                     _))))
                 ((<*>)
                  (pure @
                   ((->)
                    _))
                  (pure @
                   ((->)
                    _))))))
              (((<*>)
                ((<*>)
                 ((pure @
                   ((->)
                    _))
                  ((<*>)
                   ((pure @
                     ((->)
                      _))
                    (<*>))
                   (pure @
                    ((->)
                     _))))
                 (<*>))
                ((pure @
                  ((->)
                   _))
                 (pure @
                  ((->)
                   _))))
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _)))
               ((<*>)
                ((<*>)
                 ((pure @
                  ((->)
                _))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _))))
             (<*>))
            ((pure @
              ((->)
               _))
             (pure @
              ((->)
               _))))))))))
     (((<*>)
       ((<*>)
        ((pure @
          ((->)
           _))
         ((<*>)
          ((pure @
            ((->)
             _))
           (<*>))
          (pure @
           ((->)
            _))))
        (<*>))
       ((pure @
         ((->)
          _))
        (pure @
         ((->)
          _))))
      (u
       ((<*>)
        ((pure @
          ((->)
           _))
         (<*>))
        (pure @
         ((->)
          _))))
      (u
       ((<*>)
        ((pure @
          ((->)
           _))
         (<*>))
        (pure @
         ((->)
          _)))
       (((<*>)
         ((pure @
           ((->)
            _))
          (<*>))
         (pure @
          ((->)
           _)))
        (((<*>)
          ((<*>)
           ((pure @
             ((->)
              _))
            ((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _))))
           (<*>))
          ((pure @
            ((->)
             _))
           (pure @
            ((->)
             _))))
         ((<*>)
          ((pure @
            ((->)
             _))
           (<*>))
          (pure @
           ((->)
            _)))
         (((<*>)
           ((<*>)
            ((pure @
              ((->)
               _))
             ((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _))))
            (<*>))
           ((pure @
             ((->)
              _))
            (pure @
             ((->)
              _))))
          ((<*>)
           ((<*>)
            ((pure @
              ((->)
               _))
             ((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _))))
            (<*>))
           ((pure @
             ((->)
              _))
            (pure @
             ((->)
              _))))))
        (((<*>)
          ((pure @
            ((->)
             _))
           (<*>))
          (pure @
           ((->)
            _)))
         (((<*>)
           ((<*>)
            ((pure @
              ((->)
               _))
             ((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _))))
            (<*>))
           ((pure @
             ((->)
              _))
            (pure @
             ((->)
              _))))
          ((<*>)
           ((pure @
             ((->)
              _))
            (<*>))
           (pure @
            ((->)
             _)))
          (((<*>)
            ((<*>)
             ((pure @
               ((->)
                _))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _))))
             (<*>))
            ((pure @
              ((->)
               _))
             (pure @
              ((->)
               _))))
           ((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           ((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))))
         (((<*>)
           ((pure @
             ((->)
              _))
            (<*>))
           (pure @
            ((->)
             _)))
          (((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           (((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            (((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _)))
             (((<*>)
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _))))
                (<*>))
               ((pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _))))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _)))
              (pure @
               ((->)
                _)))
             (((<*>)
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _))))
                (<*>))
               ((pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _))))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _)))
              ((<*>)
               (pure @
                ((->)
                 _))
               (pure @
                ((->)
                 _)))))
            (((<*>)
              ((<*>)
               ((pure @
                 ((->)
                  _))
                ((<*>)
                 ((pure @
                   ((->)
                    _))
                  (<*>))
                 (pure @
                  ((->)
                   _))))
               (<*>))
              ((pure @
                ((->)
                 _))
               (pure @
                ((->)
                 _))))
             ((<*>)
              ((<*>)
               ((pure @
                 ((->)
                  _))
                ((<*>)
                 ((pure @
                   ((->)
                    _))
                  (<*>))
                 (pure @
                  ((->)
                   _))))
               (<*>))
              ((pure @
                ((->)
                 _))
               (pure @
                ((->)
                 _))))
             ((<*>)
              (pure @
               ((->)
                _))
              (pure @
               ((->)
                _))))))
          (((<*>)
            ((<*>)
             ((pure @
               ((->)
                _))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _))))
             (<*>))
            ((pure @
              ((->)
               _))
             (pure @
              ((->)
               _))))
           ((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           ((<*>)
            ((<*>)
             ((pure @
               ((->)
                _))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _))))
             (<*>))
            ((pure @
              ((->)
               _))
             (pure @
              ((->)
               _))))))))
       (u
        (((<*>)
          ((pure @
            ((->)
             _))
           (<*>))
          (pure @
           ((->)
            _)))
         (((<*>)
           ((<*>)
            ((pure @
              ((->)
               _))
             ((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _))))
            (<*>))
           ((pure @
             ((->)
              _))
            (pure @
             ((->)
              _))))
          ((<*>)
           ((pure @
             ((->)
              _))
            (<*>))
           (pure @
            ((->)
             _)))
          (((<*>)
            ((<*>)
             ((pure @
               ((->)
                _))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _))))
             (<*>))
            ((pure @
              ((->)
               _))
             (pure @
              ((->)
               _))))
           ((<*>)
            ((<*>)
             ((pure @
               ((->)
                _))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _))))
             (<*>))
            ((pure @
              ((->)
               _))
             (pure @
              ((->)
               _))))))
         (((<*>)
           ((pure @
             ((->)
              _))
            (<*>))
           (pure @
            ((->)
             _)))
          (((<*>)
            ((<*>)
             ((pure @
               ((->)
                _))
              ((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _))))
             (<*>))
            ((pure @
              ((->)
               _))
             (pure @
              ((->)
               _))))
           ((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           (((<*>)
             ((<*>)
              ((pure @
                ((->)
                 _))
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _))))
              (<*>))
             ((pure @
               ((->)
                _))
              (pure @
               ((->)
                _))))
            ((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            ((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))))
          (((<*>)
            ((pure @
              ((->)
               _))
             (<*>))
            (pure @
             ((->)
              _)))
           (((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            (((<*>)
              ((pure @
                ((->)
                 _))
               (<*>))
              (pure @
               ((->)
                _)))
             (((<*>)
               ((pure @
                 ((->)
                  _))
                (<*>))
               (pure @
                ((->)
                 _)))
              (((<*>)
                ((<*>)
                 ((pure @
                   ((->)
                    _))
                  ((<*>)
                   ((pure @
                     ((->)
                      _))
                    (<*>))
                   (pure @
                    ((->)
                     _))))
                 (<*>))
                ((pure @
                  ((->)
                   _))
                 (pure @
                  ((->)
                   _))))
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _)))
               (pure @
                ((->)
                 _)))
              (((<*>)
                ((<*>)
                 ((pure @
                   ((->)
                    _))
                  ((<*>)
                   ((pure @
                     ((->)
                      _))
                    (<*>))
                   (pure @
                    ((->)
                     _))))
                 (<*>))
                ((pure @
                  ((->)
                   _))
                 (pure @
                  ((->)
                   _))))
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _)))
               ((<*>)
                (pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _)))))
             (((<*>)
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _))))
                (<*>))
               ((pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _))))
              ((<*>)
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 ((<*>)
                  ((pure @
                    ((->)
                     _))
                   (<*>))
                  (pure @
                   ((->)
                    _))))
                (<*>))
               ((pure @
                 ((->)
                  _))
                (pure @
                 ((->)
                  _))))
              ((<*>)
               (pure @
                ((->)
                 _))
               (pure @
                ((->)
                 _))))))
           (((<*>)
             ((<*>)
              ((pure @
                ((->)
                 _))
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _))))
              (<*>))
             ((pure @
               ((->)
                _))
              (pure @
               ((->)
                _))))
            ((<*>)
             ((pure @
               ((->)
                _))
              (<*>))
             (pure @
              ((->)
               _)))
            ((<*>)
             ((<*>)
              ((pure @
                ((->)
                 _))
               ((<*>)
                ((pure @
                  ((->)
                   _))
                 (<*>))
                (pure @
                 ((->)
                  _))))
              (<*>))
             ((pure @
               ((->)
                _))
              (pure @
               ((->)
                _)))))))))))))))