module Core.Syntax where

data Tm
data Ty
instance Show Ty
instance Show Tm