Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
    • Couldn't match expected type ‘Int’ with actual type ‘Char’
    • In the expression: 'p'
      In an equation for ‘a’: a = 'p'

Defer03.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)]
    • Found hole: _ :: Int
    • In the expression: _
      In an equation for ‘f’: f = _
    • Relevant bindings include f :: Int (bound at Defer03.hs:7:1)
      Valid hole fits include
        f :: Int (bound at Defer03.hs:7:1)
        a :: Int (defined at Defer03.hs:4:1)
        maxBound :: forall a. Bounded a => a
          with maxBound @Int
          (imported from ‘Prelude’ at Defer03.hs:1:8-11
           (and originally defined in ‘GHC.Enum’))
        minBound :: forall a. Bounded a => a
          with minBound @Int
          (imported from ‘Prelude’ at Defer03.hs:1:8-11
           (and originally defined in ‘GHC.Enum’))

Defer03.hs:4:5: error:
    • Couldn't match expected type ‘Int’ with actual type ‘Char’
    • In the expression: 'p'
      In an equation for ‘a’: a = 'p'

Defer03.hs:7:5: error:
    • Found hole: _ :: Int
    • In the expression: _
      In an equation for ‘f’: f = _
    • Relevant bindings include f :: Int (bound at Defer03.hs:7:1)
      Valid hole fits include
        f :: Int (bound at Defer03.hs:7:1)
        a :: Int (defined at Defer03.hs:4:1)
        maxBound :: forall a. Bounded a => a
          with maxBound @Int
          (imported from ‘Prelude’ at Defer03.hs:1:8-11
           (and originally defined in ‘GHC.Enum’))
        minBound :: forall a. Bounded a => a
          with minBound @Int
          (imported from ‘Prelude’ at Defer03.hs:1:8-11
           (and originally defined in ‘GHC.Enum’))

Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
    • Couldn't match expected type ‘Int’ with actual type ‘Char’
    • In the expression: 'p'
      In an equation for ‘a’: a = 'p'

Defer03.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)]
    • Found hole: _ :: Int
    • In the expression: _
      In an equation for ‘f’: f = _
    • Relevant bindings include f :: Int (bound at Defer03.hs:7:1)
      Valid hole fits include
        f :: Int (bound at Defer03.hs:7:1)
        a :: Int (defined at Defer03.hs:4:1)
        maxBound :: forall a. Bounded a => a
          with maxBound @Int
          (imported from ‘Prelude’ at Defer03.hs:1:8-11
           (and originally defined in ‘GHC.Enum’))
        minBound :: forall a. Bounded a => a
          with minBound @Int
          (imported from ‘Prelude’ at Defer03.hs:1:8-11
           (and originally defined in ‘GHC.Enum’))

Defer03.hs:4:5: error:
    • Couldn't match expected type ‘Int’ with actual type ‘Char’
    • In the expression: 'p'
      In an equation for ‘a’: a = 'p'

Defer03.hs:7:5: error:
    • Found hole: _ :: Int
    • In the expression: _
      In an equation for ‘f’: f = _
    • Relevant bindings include f :: Int (bound at Defer03.hs:7:1)
      Valid hole fits include
        f :: Int (bound at Defer03.hs:7:1)
        a :: Int (defined at Defer03.hs:4:1)
        maxBound :: forall a. Bounded a => a
          with maxBound @Int
          (imported from ‘Prelude’ at Defer03.hs:1:8-11
           (and originally defined in ‘GHC.Enum’))
        minBound :: forall a. Bounded a => a
          with minBound @Int
          (imported from ‘Prelude’ at Defer03.hs:1:8-11
           (and originally defined in ‘GHC.Enum’))

Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
    • Couldn't match expected type ‘Int’ with actual type ‘Char’
    • In the expression: 'p'
      In an equation for ‘a’: a = 'p'

Defer03.hs:7:5: warning: [-Wtyped-holes (in -Wdefault)]
    • Found hole: _ :: Int
    • In the expression: _
      In an equation for ‘f’: f = _
    • Relevant bindings include f :: Int (bound at Defer03.hs:7:1)
      Valid hole fits include
        f :: Int (bound at Defer03.hs:7:1)
        a :: Int (defined at Defer03.hs:4:1)
        maxBound :: forall a. Bounded a => a
          with maxBound @Int
          (imported from ‘Prelude’ at Defer03.hs:1:8-11
           (and originally defined in ‘GHC.Enum’))
        minBound :: forall a. Bounded a => a
          with minBound @Int
          (imported from ‘Prelude’ at Defer03.hs:1:8-11
           (and originally defined in ‘GHC.Enum’))