ambiguous_lens.hs

myDraw :: Glisha [Instance] ()
myDraw = do

    -- ...

    traversed.position.x %= change

ambiguous_lens.txt

samples/sample2.hs:40:16:
    No instance for (Functor f0) arising from a use of `position'
    The type variable `f0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Note: there are several potential instances:
      instance Functor
                 (JuicyPixels-3.1.3.2:Codec.Picture.ColorQuant.Fold a)
        -- Defined in `JuicyPixels-3.1.3.2:Codec.Picture.ColorQuant'
      instance Functor Data.Complex.Complex
        -- Defined in `linear-1.6:Linear.Instances'
      instance Functor linear-1.6:Linear.Quaternion.Quaternion
        -- Defined in `linear-1.6:Linear.Quaternion'
      ...plus 52 others
    In the first argument of `(.)', namely `position'
    In the expression: position . (element 0)
    In an equation for `getX': getX = position . (element 0)

samples/sample2.hs:40:26:
    No instance for (Indexable Int p0) arising from a use of `element'
    The type variable `p0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Note: there are several potential instances:
      instance Indexable i (->)
        -- Defined in `Control.Lens.Internal.Indexed'
      instance i ~ j => Indexable i (Indexed j)
        -- Defined in `Control.Lens.Internal.Indexed'
    Possible fix: add an instance declaration for (Indexable Int p0)
    In the second argument of `(.)', namely `(element 0)'
    In the expression: position . (element 0)
    In an equation for `getX': getX = position . (element 0)

samples/sample2.hs:41:18:
    No instance for (Traversable f1) arising from a use of `traversed'
    The type variable `f1' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    Note: there are several potential instances:
      instance Traversable Data.Complex.Complex
        -- Defined in `linear-1.6:Linear.Instances'
      instance Traversable linear-1.6:Linear.Quaternion.Quaternion
        -- Defined in `linear-1.6:Linear.Quaternion'
      instance Traversable ((,) b)
        -- Defined in `Control.Lens.Internal.Instances'
      ...plus 21 others
    In the first argument of `(.)', namely `traversed'
    In the expression: traversed . getX
    In an equation for `everyX': everyX = traversed . getX