{-# LANGUAGE DataKinds #-}
module Example.Types where

import AST
import Data


type R = TScal TF64
type I64 = TScal TI64
type TVec = TArr (S Z)
type TMat = TArr (S (S Z))