doc-src/Codegen/Thy/examples/Example.hs

-{-# OPTIONS_GHC -fglasgow-exts #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 module Example where {
 
 data Queue a = AQueue [a] [a];