module Export18(module Export18, module ExportBasic2) where

import ExportBasic
import ExportBasic2

f :: Int
f = 4

(/**) :: a -> Int -> Int
  12 * z
  where
  6
      where
        k = 3

infixr 6 /**

data Listt a = a :> a | Empty

type Hello = Int
module Export18(module Export18, module ExportBasic2) where

import ExportBasic
import ExportBasic2

f :: Int
f = 4

(/**) :: a -> Int -> Int
  12 * z
  where
  6
      where
        k = 3

infixr 6 /**

data Listt a = a :> a | Empty

type Hello = Int