e
Size: a a a
e
e
e
VY
p
p
e
e
p
e
p
p
e
e
p
e
ЗП
p
module Main where
import Prelude
import Effect (Effect)
import Data.Lens as L
bar :: forall a. ( ( a -> a ) -> Unit ) -> ( L.Lens' a Int ) -> a -> Unit
bar u l m = unit
foo :: ( Int -> Int ) -> Unit
foo a = unit
baz :: ( L.Lens' Int Int ) -> Int -> Unit
baz = bar foo
main :: Effect Unit
main = pure unit
p
Could not match constrained type
Strong t0 => t0 Int Int -> t0 Int Int
with type
Strong p1 => p1 Int Int -> p1 Int Int
while trying to match type Strong t0 => t0 Int Int -> t0 Int Int
with type Strong p1 => p1 Int Int -> p1 t2 t2
while checking that expression bar foo
has type (forall p. Strong p => p Int Int -> p Int Int) -> Int -> Unit
in value declaration baz
where p1 is a rigid type variable
t2 is an unknown type
t0 is an unknown type