checkArgType (O o) ctx = do t <- checkObject o ctx
                            case t of
                              C Star -> return ()
                              _ -> Left (InvalidArgType t)


-- | Gets the type of a variable as seen from its surrounding context.
checkArgType (O o) ctx = do t <- checkObject o ctx
                            case t of
                              C Star -> return ()
                              _ -> Left (InvalidArgType t)


-- | Gets the type of a variable as seen from its surrounding context.
checkArgType (O o) ctx = do t <- checkObject o ctx
                            case t of
                              C Star -> return ()
                              _ -> Left (InvalidArgType t)


-- | Gets the type of a variable as seen from its surrounding context.