{-# LANGUAGE TemplateHaskell,QuasiQuotes #-}
import Syntax.Slot
main = do
	print $ [s| ı : ı : _ı : ı : _ı : _ı : _0 : [] |] 'a' 'b' 'c'
	print $ [s| ı + ı |] 5 3
	print $ [s| _1 / _0 |] 4 8
	print $ [s| ı + _ı |] 1