module Fixme where


data TokenType = Foo | Char


{-@ bar :: Char @-}
bar :: Char
bar = undefined