module Export5 where

import ExportBasic2

result :: Int
result = f /** f /** f

result2 :: Listt Int
result2 = f :> Empt

result3 :: Listt2 Int
result3 = f :>< Empty

result4 :: Listt3 Int
result4 = listtest

result5 :: Hello
result5 = True

main :: Int
main = result
module Export5 where

import ExportBasic2

result :: Int
result = f /** f /** f

result2 :: Listt Int
result2 = f :> Empt

result3 :: Listt2 Int
result3 = f :>< Empty

result4 :: Listt3 Int
result4 = listtest

result5 :: Hello
result5 = True

main :: Int
main = result