type error: can not unify
  0
with
  1
in framebuffer02.reject.lc:2:17:
    let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0)
                            ,ColorImage @2 (V4 1.0 1.0 1.0 1.0)
                            ,colorImage1 1.0
                            )
------------ trace
!type error: can not unify
  0
with
  1
in framebuffer02.reject.lc:2:17:
    let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0)
                            ,ColorImage @2 (V4 1.0 1.0 1.0 1.0)
                            ,colorImage1 1.0
                            )
------------ tooltips
framebuffer02.reject.lc 2:17-2:28
    forall (a :: [Type])
      . sameLayerCounts a
        => HList a -> FrameBuffer (ImageLC (head a)) (map GetImageKind a)
framebuffer02.reject.lc 2:17-5:30
    FrameBuffer
      1
      (map
        GetImageKind
        ' [Image 1 ('Color (VecScalar 4 Float))
        , Image 2 ('Color (VecScalar 4 Float))
        , Image 1 ('Color (VecScalar 1 Float))])
framebuffer02.reject.lc 2:29-5:30
    (Image 1 ('Color (VecScalar 4 Float))
    , Image 2 ('Color (VecScalar 4 Float))
    , Image 1 ('Color (VecScalar 1 Float)))
framebuffer02.reject.lc 2:30-2:41
    forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c)
framebuffer02.reject.lc 2:30-2:62
    Image 1 ('Color (VecScalar 4 Float))
framebuffer02.reject.lc 2:43-2:45
    forall a . a -> a -> a -> a -> VecS a 4
framebuffer02.reject.lc 2:43-2:49
    Float -> Float -> Float -> VecS Float 4
framebuffer02.reject.lc 2:43-2:53
    Float -> Float -> VecS Float 4
framebuffer02.reject.lc 2:43-2:57
    Float -> VecS Float 4
framebuffer02.reject.lc 2:43-2:61
    VecS Float 4
framebuffer02.reject.lc 2:46-2:49
    Float
framebuffer02.reject.lc 2:50-2:53
    Float
framebuffer02.reject.lc 2:54-2:57
    Float
framebuffer02.reject.lc 2:58-2:61
    Float
framebuffer02.reject.lc 3:30-3:40
    forall (a :: Nat) (b :: Nat) c d
      . (Num c, d ~ VecScalar b c) => d -> Image a ('Color d)
framebuffer02.reject.lc 3:30-3:43
    forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 2 ('Color c)
framebuffer02.reject.lc 3:30-3:64
    Image 2 ('Color (VecScalar 4 Float))
framebuffer02.reject.lc 3:30-4:45
    (Image 2 ('Color (VecScalar 4 Float)), Image 1 ('Color (VecScalar 1 Float)))
framebuffer02.reject.lc 3:42-3:43
    _b
framebuffer02.reject.lc 3:45-3:47
    forall a . a -> a -> a -> a -> VecS a 4
framebuffer02.reject.lc 3:45-3:51
    Float -> Float -> Float -> VecS Float 4
framebuffer02.reject.lc 3:45-3:55
    Float -> Float -> VecS Float 4
framebuffer02.reject.lc 3:45-3:59
    Float -> VecS Float 4
framebuffer02.reject.lc 3:45-3:63
    VecS Float 4
framebuffer02.reject.lc 3:48-3:51
    Float
framebuffer02.reject.lc 3:52-3:55
    Float
framebuffer02.reject.lc 3:56-3:59
    Float
framebuffer02.reject.lc 3:60-3:63
    Float
framebuffer02.reject.lc 4:30-4:41
    forall (a :: Nat) b c . (Num b, c ~ VecScalar a b) => c -> Image 1 ('Color c)
framebuffer02.reject.lc 4:30-4:45
    Image 1 ('Color (VecScalar 1 Float)) | ((Image 1 ('Color (VecScalar 1 Float))))
framebuffer02.reject.lc 4:42-4:45
    Float