ParseOk ( Module SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 1 1 9 1 , srcInfoPoints = [ SrcSpan "tests/examples/PolyKindSigs.hs" 1 1 1 1 , SrcSpan "tests/examples/PolyKindSigs.hs" 3 1 3 1 , SrcSpan "tests/examples/PolyKindSigs.hs" 5 1 5 1 , SrcSpan "tests/examples/PolyKindSigs.hs" 5 1 5 1 , SrcSpan "tests/examples/PolyKindSigs.hs" 7 1 7 1 , SrcSpan "tests/examples/PolyKindSigs.hs" 9 1 9 1 , SrcSpan "tests/examples/PolyKindSigs.hs" 9 1 9 1 ] } (Just (ModuleHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 5 1 5 18 , srcInfoPoints = [ SrcSpan "tests/examples/PolyKindSigs.hs" 5 1 5 7 , SrcSpan "tests/examples/PolyKindSigs.hs" 5 13 5 18 ] } (ModuleName SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 5 8 5 12 , srcInfoPoints = [] } "Test") Nothing Nothing)) [ LanguagePragma SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 1 1 1 32 , srcInfoPoints = [ SrcSpan "tests/examples/PolyKindSigs.hs" 1 1 1 13 , SrcSpan "tests/examples/PolyKindSigs.hs" 1 29 1 32 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 1 14 1 19 , srcInfoPoints = [] } "GADTs" ] , LanguagePragma SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 3 1 3 32 , srcInfoPoints = [ SrcSpan "tests/examples/PolyKindSigs.hs" 3 1 3 13 , SrcSpan "tests/examples/PolyKindSigs.hs" 3 29 3 32 ] } [ Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 3 14 3 23 , srcInfoPoints = [] } "PolyKinds" ] ] [] [ GDataDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 1 9 0 , srcInfoPoints = [ SrcSpan "tests/examples/PolyKindSigs.hs" 7 10 7 12 , SrcSpan "tests/examples/PolyKindSigs.hs" 7 20 7 25 , SrcSpan "tests/examples/PolyKindSigs.hs" 8 3 8 3 , SrcSpan "tests/examples/PolyKindSigs.hs" 9 1 9 0 ] } (DataType SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 1 7 5 , srcInfoPoints = [] }) Nothing (DHead SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 6 7 9 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 6 7 9 , srcInfoPoints = [] } "Foo")) (Just (KindFn SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 13 7 19 , srcInfoPoints = [ SrcSpan "tests/examples/PolyKindSigs.hs" 7 15 7 17 ] } (KindStar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 13 7 14 , srcInfoPoints = [] }) (KindStar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 7 18 7 19 , srcInfoPoints = [] }))) [ GadtDecl SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 3 8 15 , srcInfoPoints = [ SrcSpan "tests/examples/PolyKindSigs.hs" 8 7 8 9 ] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 3 8 6 , srcInfoPoints = [] } "Foo") Nothing (TyApp SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 10 8 15 , srcInfoPoints = [] } (TyCon SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 10 8 13 , srcInfoPoints = [] } (UnQual SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 10 8 13 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 10 8 13 , srcInfoPoints = [] } "Foo"))) (TyVar SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 14 8 15 , srcInfoPoints = [] } (Ident SrcSpanInfo { srcInfoSpan = SrcSpan "tests/examples/PolyKindSigs.hs" 8 14 8 15 , srcInfoPoints = [] } "a"))) ] [] ] , [ Comment False (SrcSpan "tests/examples/PolyKindSigs.hs" 2 1 2 34) "{-# LANGUAGE KindSignatures #-}" ] )