{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeApplications #-}

module DocTest02 (main) where

import Data.Tuple.Classes (TupleAt(..))

consTuple :: (TupleAt 1 a t u) => a -> t -> u
consTuple = tupleInsert @1
infixr `consTuple`

main :: IO ()
main = print $ 'x' `consTuple` False `consTuple` ("sequitur", "quodlibet")