Main.purs

module Main where

import Prelude

type Make m = 
  {
  make :: forall x . m x
  }

type Context m r = 
  {
  bm :: Make m | r
  }

test :: forall m r. (Monad m) => Context m r -> m Unit
test ctx = do
  -- works fine
  _ <- ctx.bm.make
  -- bm seems to have a different type after deconstruction because this fails to compile
  let { bm } = ctx
  _ <- bm.make
  -- this again works
  let { bm: bm' :: Make m } = ctx
  _ <- bm'.make
  -- this works too
  let { bm: bm'' :: { make :: forall x . m x }} = ctx
  _ <- bm''.make
  pure unit
  
main = pure unit