sheaf

{-# LANGUAGE AllowAmbiguousTypes   #-}
{-# LANGUAGE DataKinds             #-}
{-# LANGUAGE DeriveFoldable        #-}
{-# LANGUAGE DeriveFunctor         #-}
{-# LANGUAGE DeriveTraversable     #-}
{-# LANGUAGE DerivingVia           #-}
{-# LANGUAGE FlexibleInstances     #-}
{-# LANGUAGE GADTs                 #-}
{-# LANGUAGE InstanceSigs          #-}
{-# LANGUAGE PolyKinds             #-}

sheaf

{-# LANGUAGE DataKinds           #-}
{-# LANGUAGE GADTs               #-}
{-# LANGUAGE KindSignatures      #-}
{-# LANGUAGE PolyKinds           #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications    #-}
{-# LANGUAGE TypeOperators       #-}

module Tuple where

sheaf

module Main where

import Prelude hiding((*>), (<*))

type V3 = (Double, Double, Double)

infixl 6 <+>, <->
infixl 7 <.>
infix  8 <*, *>

sheaf

{-# LANGUAGE ScopedTypeVariables #-}

data I = I

class Inhabited t where
  inhabitant :: t

instance Inhabited I where
  inhabitant = I